From a4497f07725bb2341cce2eb260bc901f26afa8fd Mon Sep 17 00:00:00 2001 From: Daniel Gavin Date: Wed, 27 Jul 2022 16:16:46 +0200 Subject: CI --- tools/odinfmt/tests.sh | 2 ++ 1 file changed, 2 insertions(+) mode change 100644 => 100755 tools/odinfmt/tests.sh diff --git a/tools/odinfmt/tests.sh b/tools/odinfmt/tests.sh old mode 100644 new mode 100755 index ef8e95b..c2f3df1 --- a/tools/odinfmt/tests.sh +++ b/tools/odinfmt/tests.sh @@ -1,3 +1,5 @@ +#!/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 -- cgit v1.2.3