summaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
authorNick <[email protected]>2019-09-13 11:10:27 -0400
committerNick <[email protected]>2019-09-13 11:10:27 -0400
commit163eedb236921672bb2d83b7b7483b5bc1c13e45 (patch)
treec9a9f42ff5bf88dc2979f2fec68c6b9997e6bf53 /Jenkinsfile
parent9f1817973cb9b12a31ca6481c84701349f184c1d (diff)
Change to the correct directory for clang-format (away from tmp)
Diffstat (limited to 'Jenkinsfile')
-rw-r--r--Jenkinsfile3
1 files changed, 1 insertions, 2 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 12b620a..6b064d9 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -14,9 +14,8 @@ 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
+ git diff --name-only upstream/dev | grep -E "*.cc|*.h|*.cpp|*.hpp" | xargs ./run-clang-format.py --clang-format-executable /tgrogers-raid/a/common/clang-format/6.0.1/clang-format
fi
'''
}