diff options
| author | bloodstalker <thabogre@gmail.com> | 2017-03-14 15:12:52 +0000 |
|---|---|---|
| committer | bloodstalker <thabogre@gmail.com> | 2017-03-14 15:12:52 +0000 |
| commit | f1612dca2e2ce0265842587d5da691a1ce128808 (patch) | |
| tree | 637a7dcdf14a4999a6e0ebb8bb0b0e653d8bfb78 /makefile | |
| parent | minor change (diff) | |
| download | mutator-f1612dca2e2ce0265842587d5da691a1ce128808.tar.gz mutator-f1612dca2e2ce0265842587d5da691a1ce128808.zip | |
now make install creates a config file for mutator
Diffstat (limited to 'makefile')
| -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.' |