diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2024-07-10 19:26:35 +0200 |
|---|---|---|
| committer | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2024-07-10 19:26:35 +0200 |
| commit | b02291b20a111c19647c8a5f100d88f558355fd5 (patch) | |
| tree | 86f3dfcc29080520a3b6e5ce24b8d0bea5a98288 /build_odin.sh | |
| parent | 7e413405107b86741d67438aa5f0d10c0edd5942 (diff) | |
Compile demo with -vet -strict-style.
Diffstat (limited to 'build_odin.sh')
| -rwxr-xr-x | build_odin.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_odin.sh b/build_odin.sh index d2f865e24..125b9335a 100755 --- a/build_odin.sh +++ b/build_odin.sh @@ -144,7 +144,7 @@ build_odin() { } run_demo() { - ./odin run examples/demo/demo.odin -file -- Hellope World + ./odin run examples/demo -vet -strict-style -- Hellope World } if [ $# -eq 0 ]; then |