Changes in scripts/bootstrap.sh [794:313d58f9e544:747:a42f46828cc1] in lemon-main

File:

• scripts/bootstrap.sh (modified) (2 diffs)

scripts/bootstrap.sh

@@ -103 +103 @@
 cxx_flags="CXXFLAGS=-ggdb$opt_flags$werror_flags"
 
-if yesorno "Check with valgrind" "n" 
-then
-    valgrind_flags=' --enable-valgrind'
-else
-    valgrind_flags=''
-fi
-
 if [ -f ${COIN_OR_PREFIX}/include/coin/config_coinutils.h ]; then
     if yesorno "Use COIN-OR (CBC/CLP)" "n"
@@ -136 +129 @@
 fi
 ${CONFIGURE_PATH}/configure --prefix=$LEMON_INSTALL_PREFIX \
-$valgrind_flags \
 "$cxx_flags" \
 $coin_flag \