diff options
| author | Daniel Gavin <danielgavin5@hotmail.com> | 2022-07-27 16:47:49 +0200 |
|---|---|---|
| committer | Daniel Gavin <danielgavin5@hotmail.com> | 2022-07-27 16:47:49 +0200 |
| commit | 56c8aa0362f8e6f2b8b1c019f4d09fc1230b5eaa (patch) | |
| tree | de1f60f659af13317019cb4aab1e5526579b527b /odinfmt.sh | |
| parent | 1895b3b04fb0a88a2a8b1778908140555a372074 (diff) | |
CI added for odinfmt
Diffstat (limited to 'odinfmt.sh')
| -rw-r--r-- | odinfmt.sh | 2 |
1 files changed, 2 insertions, 0 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 |