EXTRAOPTIONS="$EXTRAOPTIONS -g"
elif [[ $1 = '-runtimedebug' ]]
then
-EXTRAOPTIONS="$EXTRAOPTIONS -DDEBUG"
+#EXTRAOPTIONS="$EXTRAOPTIONS -DDEBUG"
+EXTRAOPTIONS="$EXTRAOPTIONS -DCHECKTB"
elif [[ $1 = '-nooptimize' ]]
then
EXTRAOPTIONS="$EXTRAOPTIONS -O0"