diff options
author | unknown <bell@sanja.is.com.ua> | 2002-10-07 00:56:21 +0300 |
---|---|---|
committer | unknown <bell@sanja.is.com.ua> | 2002-10-07 00:56:21 +0300 |
commit | 72a3c80dbb131339406ec4a815f423a1bd8926cc (patch) | |
tree | 67ba411e803347bf61a47c18c0ae34ab22fbbdc1 /BUILD | |
parent | d319dea894150e6899d3099d4fbad222ba13038a (diff) | |
download | mariadb-git-72a3c80dbb131339406ec4a815f423a1bd8926cc.tar.gz |
after merging fix
Diffstat (limited to 'BUILD')
-rwxr-xr-x | BUILD/compile-pentium-debug | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/BUILD/compile-pentium-debug b/BUILD/compile-pentium-debug index 27a637d965f..4a9d0e74599 100755 --- a/BUILD/compile-pentium-debug +++ b/BUILD/compile-pentium-debug @@ -6,8 +6,8 @@ path=`dirname $0` extra_flags="$pentium_cflags $debug_cflags" c_warnings="$c_warnings $debug_extra_warnings" cxx_warnings="$cxx_warnings $debug_extra_warnings" -extra_configs="$pentium_configs $debug_configs $static_link" +extra_configs="$pentium_configs $debug_configs " -extra_configs="$extra_configs $static_link" +extra_configs="$extra_configs" . "$path/FINISH.sh" |