ejschwartz commited on
Commit
dc6ea20
·
1 Parent(s): 22568e3

Handle -O2 main

Browse files
Files changed (1) hide show
  1. main.py +3 -0
main.py CHANGED
@@ -62,6 +62,9 @@ def compile(compiler, flags, source):
62
  "objcopy",
63
  "--only-section",
64
  ".text",
 
 
 
65
  "-O",
66
  "binary",
67
  temp_o_file_name,
 
62
  "objcopy",
63
  "--only-section",
64
  ".text",
65
+ # XXX in reality we should probably look at the sections
66
+ "--only-section",
67
+ ".text.*",
68
  "-O",
69
  "binary",
70
  temp_o_file_name,