From 43ad08345e30cc9c0994646c8037dde795b596d9 Mon Sep 17 00:00:00 2001 From: Daniel Gavin Date: Wed, 27 Jul 2022 16:21:55 +0200 Subject: CI --- tools/odinfmt/tests.sh | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/tools/odinfmt/tests.sh b/tools/odinfmt/tests.sh index c2f3df1..dfcb732 100755 --- a/tools/odinfmt/tests.sh +++ b/tools/odinfmt/tests.sh @@ -1,5 +1,10 @@ #!/usr/bin/env bash cd "${0%/*}" + odin run tests.odin -file -show-timings -collection:shared=../../src -out:tests.exe -if ([ $? -ne 0 ]) then exit 1 fi \ No newline at end of file + +if ([ $? -ne 0 ]) +then + exit 1 +fi -- cgit v1.2.3