| changeset 435 | 75fe73597273 |
| parent 425 | f390e9fdd2cf |
| child 642 | cd7ccbbbf471 |
| 431:fcd344deae84 | 435:75fe73597273 |
|---|---|
73 def code(name): |
73 def code(name): |
74 filename = path.join(path.split(__file__)[0],name + ".c") |
74 filename = path.join(path.split(__file__)[0],name + ".c") |
75 return open(filename).read() |
75 return open(filename).read() |
76 |
76 |
77 from toolchain_gcc import toolchain_gcc |
77 from toolchain_gcc import toolchain_gcc |
78 from toolchain_makefile import toolchain_makefile |