diff options
Diffstat (limited to 'extra-tools')
| -rwxr-xr-x | extra-tools/precommitTests.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/extra-tools/precommitTests.sh b/extra-tools/precommitTests.sh index 6d058e3..ed50bbe 100755 --- a/extra-tools/precommitTests.sh +++ b/extra-tools/precommitTests.sh @@ -6,6 +6,8 @@ Lblue="\033[1;34m" Orange="\033[0;33m" NC="\033[0m" +REP_FILE="/test/precommit.rep" + printf "${Lblue}switching to mutator root...\n${NC}" | tee ../test/precommit.rep cd .. |