config.lib
changeset 5485 fcd57778b940
parent 5479 dc722a328927
child 5491 87f8b5a8cfb5
equal deleted inserted replaced
5484:7ad86e421c42 5485:fcd57778b940
   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"