diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -67,6 +67,9 @@ install: chmod +x ./extra-tools/ReportPrintPretty.sh chmod +x ./extra-tools/precommitTests.sh if [[ ! -d "./temp" ]]; then mkdir temp; fi + if [[ ! -d "./reliquary" ]]; then mkdir reliquary; fi + if [[ ! -d "./reliquary/m0" ]]; then mkdir ./reliquary/m0; fi + if [[ ! -d "./reliquary/bruiser" ]]; then mkdir ./reliquary/bruiser; fi $(shell echo MUTATOR_HOME=$$(pwd) > ./daemon/mutator.config) help: |