diff options
| author | Nick <[email protected]> | 2019-09-13 11:06:59 -0400 |
|---|---|---|
| committer | Nick <[email protected]> | 2019-09-13 11:06:59 -0400 |
| commit | 9f1817973cb9b12a31ca6481c84701349f184c1d (patch) | |
| tree | cc3bdcadc3578354cf01301d0a3d527124994a83 /Jenkinsfile | |
| parent | 50b081827365da913c07917afdd8867894d6ad75 (diff) | |
print the files to make sure we are doing things correctly
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 1 |
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 |
