aboutsummaryrefslogtreecommitdiff
path: root/emcc
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2012-10-03 12:12:22 -0700
committerAlon Zakai <alonzakai@gmail.com>2012-10-03 12:12:22 -0700
commit363ce16a8980f08b9c81fea4d51d3356cbad21a9 (patch)
tree6215772acf371be91fba40826cb5cfb1c161a64c /emcc
parent20cd14971fd5aeb5c731ef0e17b586c5a46b27f9 (diff)
ignore and warn on -Os
Diffstat (limited to 'emcc')
-rwxr-xr-xemcc14
1 files changed, 9 insertions, 5 deletions
diff --git a/emcc b/emcc
index 4a821591..19f07fbd 100755
--- a/emcc
+++ b/emcc
@@ -508,11 +508,15 @@ try:
for i in range(len(newargs)):
if newargs[i].startswith('-O'):
- try:
- opt_level = int(newargs[i][2])
- assert 0 <= opt_level <= 3
- except:
- raise Exception('Invalid optimization level: ' + newargs[i])
+ requested_level = newargs[i][2]
+ if requested_level == 's':
+ print >> sys.stderr, 'emcc: warning: -Os is ignored (use -O0, -O1, -O2)'
+ else:
+ try:
+ opt_level = int(requested_level)
+ assert 0 <= opt_level <= 3
+ except:
+ raise Exception('Invalid optimization level: ' + newargs[i])
newargs[i] = ''
elif newargs[i].startswith('--llvm-opts'):
check_bad_eq(newargs[i])