Changeset - r841:313d58f9e544
« 840:7c0ad6
860:9cc6e9 »
gravatar
alpar (Alpar Juttner)
alpar@cs.elte.hu
Valgring option for ./scripts/bootstrap.sh
0 1 0
default
1 file changed with 8 insertions and 0 deletions:
scripts/bootstrap.sh
8
↑ Collapse diff ↑
scripts/bootstrap.sh
Show white space 6 line context
... ... 
@@ -104,2 +104,9 @@
104 104 

			




	
	105
	
		
if yesorno "Check with valgrind" "n" 


			




	
	106
	
		
then


			




	
	107
	
		
    valgrind_flags=' --enable-valgrind'


			




	
	108
	
		
else


			




	
	109
	
		
    valgrind_flags=''


			




	
	110
	
		
fi


			




	
	111
	
		

			




	105
	112
	
		
if [ -f ${COIN_OR_PREFIX}/include/coin/config_coinutils.h ]; then


			




	...
	...
	
		
@@ -130,2 +137,3 @@


			




	130
	137
	
		
${CONFIGURE_PATH}/configure --prefix=$LEMON_INSTALL_PREFIX \


			




	
	138
	
		
$valgrind_flags \


			




	131
	139
	
		
"$cxx_flags" \


			




        

    






    
    



    


    

     
    
0 comments (0 inline)