mirror of
https://github.com/MariaDB/server.git
synced 2026-05-16 20:07:13 +02:00
Remove dead code from BUILD/ scripts.
This commit is contained in:
parent
196521bd99
commit
976a7493d3
16 changed files with 18 additions and 25 deletions
|
|
@ -3,7 +3,7 @@
|
|||
path=`dirname $0`
|
||||
. "$path/SETUP.sh"
|
||||
|
||||
extra_flags="$pentium_cflags $fast_cflags $max_cflags -g"
|
||||
extra_flags="$pentium_cflags $fast_cflags -g"
|
||||
extra_configs="$pentium_configs $max_configs"
|
||||
|
||||
. "$path/FINISH.sh"
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue