aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/makefile b/makefile
index 1c10d0e..575d7de 100644
--- a/makefile
+++ b/makefile
@@ -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: