diff options
-rw-r--r-- | makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -142,7 +142,7 @@ install: chmod +x ./extra-tools/ReportPrintPretty.sh chmod +x ./extra-tools/precommitTests.sh if [[ ! -d "./temp" ]]; then mkdir temp; fi - #@echo 'mutatir home variable not set.' + $(shell echo MUTATOR_HOME=$$(pwd) > mutator.config) help: @echo '- There is help.' |