2015-10-22 23:54:34 +02:00
|
|
|
#/bin/sh
|
|
|
|
|
|
|
|
# Filter out unnecessary options added by automake
|
|
|
|
|
|
|
|
while [ -n "$*" ]; do
|
|
|
|
case "$1" in
|
|
|
|
-f | -o | -I | -i | -D )
|
|
|
|
# Supported options with arg
|
|
|
|
options="$options $1 $2"
|
|
|
|
shift
|
|
|
|
shift
|
|
|
|
;;
|
|
|
|
-I* | -i* | --prefix* )
|
|
|
|
# Supported options without arg
|
|
|
|
options="$options $1"
|
|
|
|
shift
|
|
|
|
;;
|
2015-11-18 23:52:20 +01:00
|
|
|
-D* ) # For defines we need to remove spaces
|
|
|
|
case "$1" in
|
|
|
|
*' '* ) ;;
|
|
|
|
*) options="$options $1" ;;
|
|
|
|
esac
|
|
|
|
shift
|
|
|
|
;;
|
2015-10-22 23:54:34 +02:00
|
|
|
#-blah )
|
|
|
|
# Unsupported options with args - none known
|
|
|
|
-* )
|
|
|
|
# Unsupported options with no args
|
|
|
|
shift
|
|
|
|
;;
|
|
|
|
* )
|
|
|
|
args="$args $1"
|
|
|
|
shift
|
|
|
|
;;
|
|
|
|
esac
|
|
|
|
done
|
|
|
|
|
|
|
|
yasm $options $args
|