diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2021-02-13 00:27:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-13 00:27:16 +0100 |
| commit | de8a86039e088239737f5d1fb9c1d5ff418281f9 (patch) | |
| tree | e4f1908f2be57031167bb60cf9ea42fa1fcd97a7 /build.sh | |
| parent | b4da410a5f571d9b969dd3e37b8842f3b677cd7f (diff) | |
Create build.sh
Diffstat (limited to 'build.sh')
| -rw-r--r-- | build.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/build.sh b/build.sh new file mode 100644 index 0000000..93bcc02 --- /dev/null +++ b/build.sh @@ -0,0 +1,3 @@ +#!/bin/sh -x + +odin build src/ -show-timings -microarch:native -collection:shared=src -out:ols -opt:3 |