diff options
| author | Daniel Gavin <danielgavin5@hotmail.com> | 2021-12-05 20:14:07 +0100 |
|---|---|---|
| committer | Daniel Gavin <danielgavin5@hotmail.com> | 2021-12-05 20:14:07 +0100 |
| commit | 8f73e4e4f64b46bee43fe659cad8ea4d505fb3f0 (patch) | |
| tree | 1a6822ebc2b522c7f4eec8442ac2deca6efb2c53 /odinfmt.sh | |
| parent | 40f45aa7568b664d9bfc5b1d89e47e46104af2b5 (diff) | |
Add odinfmt builder
Diffstat (limited to 'odinfmt.sh')
| -rw-r--r-- | odinfmt.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/odinfmt.sh b/odinfmt.sh new file mode 100644 index 0000000..a50406c --- /dev/null +++ b/odinfmt.sh @@ -0,0 +1 @@ +odin build tools/odinfmt -show-timings -collection:shared=src -out:odinfmt -opt:2
\ No newline at end of file |