Check if generate files are different (#1789)

37711924 · Paul Fultz II · GitHub · 9473e3a2 · 37711924
Unverified Commit 37711924 authored May 31, 2023 by Paul Fultz II Committed by GitHub May 31, 2023
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 1 deletion

Jenkinsfile Jenkinsfile +6 -1

No files found.
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -29,7 +29,12 @@ def rocmtestnode(Map conf) {
            mkdir build
            cd build
            cmake -DCMAKE_C_COMPILER_LAUNCHER=ccache -DCMAKE_CXX_COMPILER_LAUNCHER=ccache -DBUILD_DEV=On ${flags} ..
-            make -j\$(nproc) generate all doc package check VERBOSE=1
+            git diff
+            git diff-index --quiet HEAD || (echo "Git repo is not clean after running cmake." && exit 1)
+            make -j\$(nproc) generate VERBOSE=1
+            git diff
+            git diff-index --quiet HEAD || (echo "Generated files are different. Please run make generate and commit the changes." && exit 1)
+            make -j\$(nproc) all doc package check VERBOSE=1
            md5sum ./*.deb
        """
        echo cmd