added compile-pentium-maintainer -

equivalent of compile-pentium-debug but with
--enable-maintainer-mode configure option
Maybe it's worth to merge compile-mentium-debug
and compile-pentium-maintainer to a single script

1 files changed, 13 insertions, 0 deletions

diff --git a/BUILD/compile-pentium-maintainer b/BUILD/compile-pentium-maintainer
new file mode 100755
index 00000000000..1265154dc76
--- /dev/null
+++ b/BUILD/compile-pentium-maintainer
@@ -0,0 +1,13 @@
+#! /bin/sh
+
+path=`dirname $0`
+. "$path/SETUP.sh"
+
+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 "
+
+extra_configs="$extra_configs --enable-maintainer-mode"
+
+. "$path/FINISH.sh"