targets/Win32/__init__.py
author Laurent Bessard
Mon, 29 Apr 2013 10:35:15 +0200
changeset 1078 f0ea86d830ed
parent 685 2db8b87016a0
child 1279 0eb9f8af479f
permissions -rwxr-xr-x
Fixed wrong default value for xsd:positiveInteger and xsd:negativeInteger in xmlclass
from ..toolchain_gcc import toolchain_gcc

class Win32_target(toolchain_gcc):
    extension = ".dll"
    def getBuilderLDFLAGS(self):
        return toolchain_gcc.getBuilderLDFLAGS(self) + ["-shared", "-lwinmm"]