config.lib
changeset 5736 e54edfb4577a
parent 5730 d744fa7136ea
child 5742 d9948762e08b
equal deleted inserted replaced
5735:274956d7bcac 5736:e54edfb4577a
   655 	fi
   655 	fi
   656 
   656 
   657 	if [ "$enable_translator" != "0" ]
   657 	if [ "$enable_translator" != "0" ]
   658 	then
   658 	then
   659 		log 1 "checking translator... debug"
   659 		log 1 "checking translator... debug"
   660 		strgen_flags=""
       
   661 	else
       
   662 		log 1 "checking translator... no"
       
   663 		# -t shows TODO items, normally they are muted
   660 		# -t shows TODO items, normally they are muted
   664 		strgen_flags="-t"
   661 		strgen_flags="-t"
       
   662 	else
       
   663 		log 1 "checking translator... no"
       
   664 		strgen_flags=""
   665 	fi
   665 	fi
   666 
   666 
   667 	if [ "$enable_assert" != "0" ]
   667 	if [ "$enable_assert" != "0" ]
   668 	then
   668 	then
   669 		log 1 "checking assert... enabled"
   669 		log 1 "checking assert... enabled"