summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNick <[email protected]>2019-09-13 11:06:59 -0400
committerNick <[email protected]>2019-09-13 11:06:59 -0400
commit9f1817973cb9b12a31ca6481c84701349f184c1d (patch)
treecc3bdcadc3578354cf01301d0a3d527124994a83
parent50b081827365da913c07917afdd8867894d6ad75 (diff)
print the files to make sure we are doing things correctly
-rw-r--r--Jenkinsfile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 714ca41..12b620a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -14,6 +14,7 @@ pipeline {
git remote add upstream https://github.com/purdue-aalp/gpgpu-sim_distribution
git fetch upstream
cpp_diff= $(git diff --name-only upstream/dev | grep -E "*.cc|*.h|*.cpp|*.hpp")
+ echo $cpp_diff
if [[ $cpp_diff ]]; then
git diff --name-only upstream/dev | grep -E "*.cc|*.h|*.cpp|*.hpp" | xargs ./run-clang-format.py --clang-format-executable /tmp/clang-format
fi