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