diff options
Diffstat (limited to 'BUILD/SETUP.sh')
-rwxr-xr-x | BUILD/SETUP.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/BUILD/SETUP.sh b/BUILD/SETUP.sh index 9dbb4edf75c..cfcb771859f 100755 --- a/BUILD/SETUP.sh +++ b/BUILD/SETUP.sh @@ -32,6 +32,7 @@ Usage: $0 [-h|-n] [configure-options] -n, --just-print Don't actually run any commands; just print them. -c, --just-configure Stop after running configure. Combined with --just-print shows configure options. + --just-clean Clean up compilation files and update sub modules --extra-configs=xxx Add this to configure options --extra-flags=xxx Add this C and CXX flags --extra-cflags=xxx Add this to C flags @@ -71,6 +72,8 @@ parse_options() just_configure=1;; -n | --just-print | --print) just_print=1;; + --just-clean) + just_clean=1;; --verbose) verbose_make=1;; -h | --help) @@ -94,6 +97,7 @@ fi prefix="/usr/local/mysql" just_print= +just_clean= just_configure= warning_mode= maintainer_mode= |