mirror of
https://github.com/MariaDB/server.git
synced 2026-04-18 06:15:32 +02:00
Merge 10.5 into 10.6
This commit is contained in:
commit
860e754349
65 changed files with 1540 additions and 340 deletions
|
|
@ -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=
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue