diff options
Diffstat (limited to 'run_release.sh')
| -rwxr-xr-x | run_release.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run_release.sh b/run_release.sh index bad1ad2..9c730a3 100755 --- a/run_release.sh +++ b/run_release.sh @@ -1 +1 @@ -./run.sh "-debug -sanitize:address" "-debug -sanitize:address" +./run.sh "-o:size" |