try conditional check in bash

1 files changed, 4 insertions, 1 deletions

diff --git a/Jenkinsfile b/Jenkinsfile
index e3ae91e..714ca41 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -13,7 +13,10 @@ pipeline {
               source /home/tgrogers-raid/a/common/gpgpu-sim-setup/common/export_gcc_version.sh 5.3.0
               git remote add upstream https://github.com/purdue-aalp/gpgpu-sim_distribution
               git fetch upstream
-              git diff --name-only upstream/dev | grep -E "*.cc|*.h|*.cpp|*.hpp" | xargs ./run-clang-format.py --clang-format-executable /tmp/clang-format
+              cpp_diff= $(git diff --name-only upstream/dev | grep -E "*.cc|*.h|*.cpp|*.hpp")
+              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
             ''' 
           }
         }