diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-26 21:25:20 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-26 21:25:20 +0100 |
| commit | 88aed259f90c6f49e22f57a7eae6c2632010bccd (patch) | |
| tree | 5b35afb4f115d108948c9fb59ebf24fd758ccb19 /platform/osx/SCsub | |
| parent | 9ba5fb87f009faea406e3968f4d88234752d635b (diff) | |
| parent | c6d9a7665acdd5785760eee0c69bd1d2a53b6b90 (diff) | |
Merge pull request #16092 from hpvb/make-separate-debug-symbols-opt-in
Make separate debug symbols opt-in
Diffstat (limited to 'platform/osx/SCsub')
| -rw-r--r-- | platform/osx/SCsub | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/platform/osx/SCsub b/platform/osx/SCsub index 029e3d808c..07e633a117 100644 --- a/platform/osx/SCsub +++ b/platform/osx/SCsub @@ -23,6 +23,6 @@ files = [ prog = env.add_program('#bin/godot', files) -if env["debug_symbols"] == "full" or env["debug_symbols"] == "yes": +if (env["debug_symbols"] == "full" or env["debug_symbols"] == "yes") and env["separate_debug_symbols"]: env.AddPostAction(prog, make_debug) |