From ed81ebf428e1b1af010a6b8bfe1b7eb85d99667b Mon Sep 17 00:00:00 2001
From: David Schneller <david.schneller@tum.de>
Date: Tue, 21 May 2024 19:53:50 +0200
Subject: [PATCH] GHA, take two

---
 .github/workflows/codegen.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/codegen.yml b/.github/workflows/codegen.yml
index f4fdd5a..c244494 100644
--- a/.github/workflows/codegen.yml
+++ b/.github/workflows/codegen.yml
@@ -26,7 +26,17 @@ jobs:
 
       - name: dry-run-pspamm
         run: |
+          set +e
           pspamm-generator
+          retcode=$?
+          set -e
+
+          if [ $retcode -ne 2 ] then
+            echo "Unexpected exit code."
+            exit 1
+          end if
+
+          echo "Success!"
 
   pspamm-codegen-avx:
     name: pspamm-codegen-avx