diff options
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -66,6 +66,7 @@ install: chmod +x ./mutator.sh chmod +x ./extra-tools/ReportPrintPretty.sh chmod +x ./extra-tools/precommitTests.sh + chmod +x ./extra-tools/oracle.sh if [[ ! -d "./temp" ]]; then mkdir temp; fi if [[ ! -d "./reliquary" ]]; then mkdir reliquary; fi if [[ ! -d "./reliquary/m0" ]]; then mkdir ./reliquary/m0; fi @@ -76,7 +77,7 @@ install: help: @echo '- There is help.' @echo '- All is the default.' - @echo '- install makes the scripts executable. Currently this is all it does.' + @echo '- install makes the scripts executable. Also creates the reliquary.' @echo '- Clean.' @echo '- TAGS will run ctags on the C/C++ source files.' @echo '- You can use the target names as build targets to just build one executable.' |