changeset 1430 | 754fa90c8b27 |
parent 1387 | 435965ca8b63 |
child 1456 | e723c1dd6faa |
--- a/targets/__init__.py Fri Jan 16 22:09:28 2015 +0100 +++ b/targets/__init__.py Sun Jan 18 19:41:27 2015 +0100 @@ -74,6 +74,6 @@ return open(filename).read() def GetCode(name): - filename = path.join(path.split(__file__)[0],name + ".c") + filename = path.join(path.split(__file__)[0],name) return open(filename).read()