From 4e8d63ace93a06cb416618714408ae1c41223812 Mon Sep 17 00:00:00 2001
From: Grégoire Duchêne <gduchene@awhk.org>
Date: Mon, 29 Sep 2014 14:41:29 +0200
Subject: Added the -t CLI option

This option makes tamasheq print any exception that escaped the eval
function. Thus, instead of crashing, tamasheq will exit normally.

This option is used in run_tests.sh when some of the tests do fail on
purpose (see tests/AssertFalse.ml).
---
 run_tests.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'run_tests.sh')

diff --git a/run_tests.sh b/run_tests.sh
index 8d6e75b..e828c67 100755
--- a/run_tests.sh
+++ b/run_tests.sh
@@ -10,7 +10,7 @@ for input in *.ml; do
     name="${input%\.ml}"
     output="$tmp/${input/ml/output}"
 
-    if ../tamasheq -denv -o "$tmp" "$input" > "$output" 2>&1; then
+    if ../tamasheq -denv -o "$tmp" "$input" -t > "$output" 2>&1; then
         if cmp -s "$expected" "$output"; then
             printf "%-20s\tSUCCESS\n" "$name" >&2
             rm "$tmp/$name"*
-- 
cgit v1.2.3-70-g09d2