diff options
Diffstat (limited to 'build')
-rwxr-xr-x | build/build_make.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/build/build_make.sh b/build/build_make.sh index 268a03b..dd458ae 100755 --- a/build/build_make.sh +++ b/build/build_make.sh @@ -132,23 +132,18 @@ while test -n "$1"; do ;; *-withstaticlib) OPTIONS="${OPTIONS} -DWITH_STATIC_LIB=ON" - shift ;; *-unittesting) OPTIONS="${OPTIONS} -DWITH_TESTING=ON" - shift ;; *-clientunittesting) OPTIONS="${OPTIONS} -DWITH_CLIENT_TESTING=ON" - shift ;; *-withssh1) OPTIONS="${OPTIONS} -DWITH_SSH1=ON" - shift ;; *-withserver) OPTIONS="${OPTIONS} -DWITH_SERVER=ON" - shift ;; ----noarg) echo "$ARG does not take an argument" |