diff options
author | bloodstalker <thabogre@gmail.com> | 2017-02-12 03:22:29 +0000 |
---|---|---|
committer | bloodstalker <thabogre@gmail.com> | 2017-02-12 03:22:29 +0000 |
commit | 1f2dbd00b70cc1a438a00c26a1dc564cbf642f03 (patch) | |
tree | 590a9bd3bf8814b8b3461a9b565b612e4e1ad785 /extra-tools | |
parent | the standard library headers are included in again (diff) | |
download | mutator-1f2dbd00b70cc1a438a00c26a1dc564cbf642f03.tar.gz mutator-1f2dbd00b70cc1a438a00c26a1dc564cbf642f03.zip |
added pwd just for diag
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 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 |