diff options
Diffstat (limited to 'tools/linux.py')
| -rw-r--r-- | tools/linux.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/linux.py b/tools/linux.py index cb48ae5..823b66e 100644 --- a/tools/linux.py +++ b/tools/linux.py @@ -14,6 +14,9 @@ def generate(env): if env["use_llvm"]: clang.generate(env) clangxx.generate(env) + elif env["use_hot_reload"]: + # Required for extensions to truly unload. + env.Append(CXXFLAGS=["-fno-gnu-unique"]) env.Append(CCFLAGS=["-fPIC", "-Wwrite-strings"]) env.Append(LINKFLAGS=["-Wl,-R,'$$ORIGIN'"]) |