Check pipestatus to stop the build on make errors

Current pipe with tee swallows the error code if any from make.
rswgnu · Apr 26, 2024 · 4ed91bb · 4ed91bb
1 parent 31c6056
commit 4ed91bb
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -25,7 +25,8 @@ jobs:
 
       - name: Compile
         run: |
-          make bin 2>&1 | tee MAKE_BIN_OUTPUT
+          make binn 2>&1 | tee MAKE_BIN_OUTPUT
+          test 0 -eq ${PIPESTATUS}
           echo "Number of warnings: $(grep "Warning:" MAKE_BIN_OUTPUT | wc -l)" >> $GITHUB_STEP_SUMMARY
           echo '```' >> $GITHUB_STEP_SUMMARY
           grep "Warning:" MAKE_BIN_OUTPUT >> $GITHUB_STEP_SUMMARY || true