diff options
Diffstat (limited to 'extra-tools')
| -rwxr-xr-x | extra-tools/precommitTests.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extra-tools/precommitTests.sh b/extra-tools/precommitTests.sh index 7a6336e..eec5682 100755 --- a/extra-tools/precommitTests.sh +++ b/extra-tools/precommitTests.sh @@ -98,6 +98,7 @@ if [[ $? == 0 ]]; then "cp" ./bruiser/bruiser ./reliquary/bruiser/bruiser-$TIME "cp" ./safercpp/safercpp-arr ./reliquary/safercpp/safercpp-$TIME RelicKeeper + source ./extra-tools/oracle.sh ./test/precommit.rep else printf "${Red}mutator c++1z test build failed.\n${NC}" | tee -a ./test/precommit.rep fi |