if [ $OPTS = 1 ] ; then
#Copy BeRTOS sources
printf "Starting nightlytest..\n"
- printf "Silent mode enable, removing the TODO/FIXME messages.\n"
+ printf "Silent mode enabled: removing the TODO/FIXME messages.\n"
cp -R $BERTOS_DIR $BERTOS_DIR_BAK || exit 1
#Strip away TODOs and FIXME