diff options
author | bloodstalker <thabogre@gmail.com> | 2017-03-13 10:48:04 +0000 |
---|---|---|
committer | bloodstalker <thabogre@gmail.com> | 2017-03-13 10:48:04 +0000 |
commit | c7a665fdd3b83fcf204e4f79ea575bb1dceca2c7 (patch) | |
tree | 8d1568208d042615f3f2a9b3449b11a1b6591e89 | |
parent | trying to fix the tainted string issue (diff) | |
download | mutator-c7a665fdd3b83fcf204e4f79ea575bb1dceca2c7.tar.gz mutator-c7a665fdd3b83fcf204e4f79ea575bb1dceca2c7.zip |
minor change
-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 .. |