68     return targetchoices

    68     return targetchoices

    69 

    69 

    70 def GetTargetCode(targetname):

    70 def GetTargetCode(targetname):

    71     return open(targets[targetname]["code"]).read()

    71     return open(targets[targetname]["code"]).read()

    72 

    72 

    73 def GetCode(name):

    77 def GetCode(name):

    74     filename = path.join(path.split(__file__)[0],name + ".c")

    78     filename = path.join(path.split(__file__)[0],name + ".c")

    75     return open(filename).read()

    79     return open(filename).read()

    76 

    80