From 6c17c4cf53a1eb52fea1df1811a9acb419cfe7dc Mon Sep 17 00:00:00 2001
From: nils <48135649+Nilstrieb@users.noreply.github.com>
Date: Tue, 30 May 2023 17:04:40 +0200
Subject: [PATCH] more

---
 checkllvm.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/checkllvm.sh b/checkllvm.sh
index 3ceb24e..0954842 100755
--- a/checkllvm.sh
+++ b/checkllvm.sh
@@ -9,8 +9,9 @@ d=$(mktemp -d)
 clang $1 helper.c -O1 -o "$d/good"
 clang $1 helper.c -O2 -o "$d/bad"
 
-bad=$("$d/bad")
-good=$("$d/good")
+# Thanks to set -e, we abort if it times out.
+bad=$(timeout 1 "$d/bad")
+good=$(timeout 1 "$d/good")
 
 if [ "$good" != "$bad" ]; then
     echo "MISCOMPILATION"