From f8e5a7026447b4d3f2f4840ec1a88df83d3d123e Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 22 Feb 2024 21:20:44 +0100
Subject: Hyperfine measurement

---
 std/test_all.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'std/test_all.sh')

diff --git a/std/test_all.sh b/std/test_all.sh
index 8b0740a..a5a5c63 100755
--- a/std/test_all.sh
+++ b/std/test_all.sh
@@ -13,4 +13,8 @@ done
 echo >>All.bruijn
 echo "main [[0]]" >>All.bruijn
 
-stack run -- All.bruijn | grep "ERROR" && exit 1 || exit 0
+if bruijn All.bruijn | grep "ERROR"; then
+	exit 1
+fi
+
+hyperfine "bruijn All.bruijn"
-- 
cgit v1.2.3