From e59b38343bbc0a9f8c54f7bb3c3d2956e335117b Mon Sep 17 00:00:00 2001
From: David Gonzalez Martin <davidgm94.work@protonmail.com>
Date: Sun, 28 Jul 2024 14:00:07 +0200
Subject: [PATCH] fix hideous bash bug

---
 run_tests.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run_tests.sh b/run_tests.sh
index f5b84d3..47903d3 100755
--- a/run_tests.sh
+++ b/run_tests.sh
@@ -26,7 +26,7 @@ then
         linux*)   linking_modes=("0" "1") ;;
         *)        echo "unknown: $OSTYPE"; exit 1 ;;
     esac
-    execution_engines=("c", "i")
+    execution_engines=("c" "i")
 else
     optimization_modes=("-O0")
     case "$OSTYPE" in