diff options
| author | Daniel Gavin <danielgavin5@hotmail.com> | 2022-07-27 16:12:15 +0200 |
|---|---|---|
| committer | Daniel Gavin <danielgavin5@hotmail.com> | 2022-07-27 16:12:15 +0200 |
| commit | 222d71c0a45efa070b7bdc9ef2339bd2ce613c0d (patch) | |
| tree | cfa12e6245ea9c6d06e8a8295da53a1bd5c8ccc2 | |
| parent | 54083d9f46406e6b55142dca29cd9b7fbf38591c (diff) | |
CI
| -rw-r--r-- | odinfmt.sh | 2 | ||||
| -rw-r--r-- | tools/odinfmt/tests.odin | 6 |
2 files changed, 7 insertions, 1 deletions
@@ -1 +1,3 @@ +#!/usr/bin/env bash + odin build tools/odinfmt -show-timings -collection:shared=src -out:odinfmt -opt:2
\ No newline at end of file diff --git a/tools/odinfmt/tests.odin b/tools/odinfmt/tests.odin index 336f7d2..8bd0399 100644 --- a/tools/odinfmt/tests.odin +++ b/tools/odinfmt/tests.odin @@ -10,5 +10,9 @@ import "snapshot" main :: proc() { init_global_temporary_allocator(mem.Megabyte*100) - snapshot.snapshot_directory("tests") + + if !snapshot.snapshot_directory("tests") { + os.exit(1) + } + } |