diff options
Diffstat (limited to 'src/configure')
-rwxr-xr-x | src/configure | 19 |
1 files changed, 14 insertions, 5 deletions
diff --git a/src/configure b/src/configure index 80fe9a5..77002f3 100755 --- a/src/configure +++ b/src/configure @@ -73,6 +73,9 @@ do --prefix=*) PREFIX=${arg#--prefix=} ;; + --bindir=*) + SBINDIR=${arg#--bindir=} + ;; --sbindir=*) SBINDIR=${arg#--sbindir=} ;; @@ -108,15 +111,21 @@ do exit 0 ;; *) - if [ $EBUILD_COMPAT -ne 1 ]; then - echo "Unknown argument: $arg" - print_usage - exit 1 - fi + ERRORS="$ERRORS $arg" ;; esac done +if [ -n "$ERRORS" ] && [ $EBUILD_COMPAT -ne 1 ]; then + for error in $ERRORS; do + echo "Unknown argument: $error" + done + + print_usage + exit 1 +fi + + rm -f include.mk case $TARGET in Linux) |