| author | |
| committer | |
| log | c4c6faddf9cebfa2068fa789325be7c1ac7e00ac |
| tree | da019bf58f2cbd2f466b430595e909d6c281534e |
| parent | cb0badee1df55e13812eb3a31ff235f7d5df6a4e |
1 files changed, 1 insertions(+), 1 deletions(-)
build_release.sh+1-1| ... | ... | @@ -10,4 +10,4 @@ target=$1 |
| 10 | 10 | # TODO error if $target is empty |
| 11 | 11 | |
| 12 | 12 | echo "$tag.$rev $target" |
| 13 | $(which time) zig build -Dtarget=$target -Duse-full-name -Dtag=$tag -Drelease --prefix . | |
| 13 | $(which time) zig build -Dtarget=$target -Duse-full-name -Dtag=$tag --prefix . |