targets/Linux/__init__.py
author Laurent Bessard
Sat, 03 Nov 2012 17:00:26 +0100
changeset 875 a8952b79caec
parent 642 cd7ccbbbf471
child 1279 0eb9f8af479f
permissions -rwxr-xr-x
Fix bug in Debug refresh lock that, with too much data to debug, flooded GUI and blocked it
from ..toolchain_gcc import toolchain_gcc

class Linux_target(toolchain_gcc):
    extension = ".so"
    def getBuilderCFLAGS(self):
        return toolchain_gcc.getBuilderCFLAGS(self) + ["-fPIC"]
    def getBuilderLDFLAGS(self):
        return toolchain_gcc.getBuilderLDFLAGS(self) + ["-shared", "-lrt"]