From a9cd40738c21a1b7ccc50e8870beb17c97176ca1 Mon Sep 17 00:00:00 2001 From: bloodstalker Date: Mon, 29 May 2017 00:06:52 +0430 Subject: make install now also adds reliquary which is only useful for dev purposes --- makefile | 3 +++ 1 file changed, 3 insertions(+) (limited to 'makefile') 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: -- cgit v1.2.3