summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorpeter <peter@pmikkelsen.com>2026-08-21 20:38:39 +0000
committerpeter <peter@pmikkelsen.com>2026-08-21 20:38:39 +0000
commitefe230205f254fc5369b53d3de2841723beb6ff8 (patch)
tree39e096bf204f2fc33ba140f44566127985422b0c /tools
parent2d34e3d861e14d58faad68ea5c7d37f1b201addf (diff)
Start work on testing the evaluator
FossilOrigin-Name: 530cc9567bc825fd8a7eb21f2ca12dbf7ecbecae3ed02638537dc4a8dca9ae1a
Diffstat (limited to 'tools')
-rwxr-xr-xtools/check4
-rwxr-xr-xtools/checkcov2
-rwxr-xr-xtools/tests2
3 files changed, 7 insertions, 1 deletions
diff --git a/tools/check b/tools/check
index a6c5d20..3a8c822 100755
--- a/tools/check
+++ b/tools/check
@@ -1,8 +1,10 @@
#!/bin/sh
+set -e
+
types="Debug Release Coverage"
-mkdir build
+mkdir -p build
cd build
for type in $types
diff --git a/tools/checkcov b/tools/checkcov
index 3d9fedf..c228c2f 100755
--- a/tools/checkcov
+++ b/tools/checkcov
@@ -1,5 +1,7 @@
#!/bin/sh
+set -e
+
cd build/$1
case "$1" in
diff --git a/tools/tests b/tools/tests
index 66ac467..0455070 100755
--- a/tools/tests
+++ b/tools/tests
@@ -1,5 +1,7 @@
#!/bin/sh
+set -e
+
types=$*
for type in $types