diff options
author | Sergei Golubchik <serg@mariadb.org> | 2016-01-25 22:58:57 +0100 |
---|---|---|
committer | Sergei Golubchik <serg@mariadb.org> | 2016-01-25 22:58:57 +0100 |
commit | f4faac4d6ad31acc96b9edf8c322f3031123dfe0 (patch) | |
tree | 8c7b112e3464149928db6b0bb7c7ddd9067f69c9 /BUILD | |
parent | 2ff65ba53190ad897fc41f546fc4a7bdc80d9054 (diff) | |
parent | 666b9663f94c2a4f39d331b28fabd09f2dc43bf2 (diff) | |
download | mariadb-git-f4faac4d6ad31acc96b9edf8c322f3031123dfe0.tar.gz |
Merge branch '10.0' into 10.1
Diffstat (limited to 'BUILD')
-rwxr-xr-x | BUILD/SETUP.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/BUILD/SETUP.sh b/BUILD/SETUP.sh index f443c5da680..36072ebaa7e 100755 --- a/BUILD/SETUP.sh +++ b/BUILD/SETUP.sh @@ -31,6 +31,7 @@ Usage: $0 [-h|-n] [configure-options] -h, --help Show this help message. -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. --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 |