diff options
| -rw-r--r-- | makefile | 1 | 
1 files changed, 1 insertions, 0 deletions
| @@ -109,6 +109,7 @@ clean:  install:  	chmod +x ./mutator.sh  	chmod +x ./extra-tools/ReportPrintPretty.sh +	if [[ ! -d "./temp" ]]; then mkdir temp; fi  help:  	@echo '- There is help.' | 
