targets/Win32/__init__.py
author Edouard Tisserant
Thu, 27 Feb 2014 10:45:06 +0100
changeset 1395 bcd1e909076c
parent 1279 0eb9f8af479f
child 1511 91538d0c242c
permissions -rwxr-xr-x
Fixed non initialized timer causing exception in some rare cases
from ..toolchain_gcc import toolchain_gcc

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