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 /extra-tools | |
| parent | trying to fix the tainted string issue (diff) | |
| download | mutator-c7a665fdd3b83fcf204e4f79ea575bb1dceca2c7.tar.gz mutator-c7a665fdd3b83fcf204e4f79ea575bb1dceca2c7.zip | |
minor change
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 .. |