targets/Win32/__init__.py
author laurent
Tue, 20 Dec 2011 23:37:06 +0100
changeset 656 c1792dfc8c7e
parent 642 cd7ccbbbf471
child 685 2db8b87016a0
permissions -rwxr-xr-x
Fixing bug integrated plugin editors not closed when removing corresponding plugin
from ..toolchain_gcc import toolchain_gcc

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