summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoakim Sindholt <opensource@zhasha.com>2019-06-26 21:17:50 +0200
committerJoakim Sindholt <opensource@zhasha.com>2019-06-26 21:17:50 +0200
commitcc42a4a3c0b283dc38c947356f456e17ed763696 (patch)
tree582524d19f7267de448fdfec076fda517555be81
parent948eb38ce72d45bf2d99f2e3598ecee42d99fbfe (diff)
p9c: use -O2 instead of -Os as it's just better in every regard
-rw-r--r--bin/p9c.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/p9c.sh b/bin/p9c.sh
index bc83df6..0865254 100644
--- a/bin/p9c.sh
+++ b/bin/p9c.sh
@@ -85,7 +85,7 @@ if [[ $USE_MISSINGPROTO == true ]]; then
fi
# optimization level
if [[ $USE_OPTIMIZATION == true ]]; then
- OPTS+=("-Os")
+ OPTS+=("-O2")
else
OPTS+=("-O0")
fi