diff options
Diffstat (limited to '')
| -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 141c535..f676428 100755 --- a/extra-tools/precommitTests.sh +++ b/extra-tools/precommitTests.sh @@ -7,6 +7,7 @@ Orange="\033[0;33m"  NC="\033[0m"  printf "${Lblue}switching to mutator root...\n${NC}" +pwd  cd ..  printf "${Lblue}running make clean...\n${NC}" | tee ./test/precommit.rep  | 
