diff options
Diffstat (limited to 'makefile')
-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.' |