diff options
| author | Andrew Morrow <acm@mongodb.com> | 2018-03-14 18:12:46 -0400 |
|---|---|---|
| committer | Andrew Morrow <acm@mongodb.com> | 2018-03-15 13:47:14 -0400 |
| commit | 0ebab66992c4bd382b1a0acb90549b3d161f3791 (patch) | |
| tree | 6ad37ca19f768174a8824558d40cc125e78daee0 /site_scons | |
| parent | 5ecf2c0a5bffa837c96ad20dea23a94c5165739a (diff) | |
| download | mongo-0ebab66992c4bd382b1a0acb90549b3d161f3791.tar.gz | |
SERVER-32117 Make embedded builds slimmer
Diffstat (limited to 'site_scons')
| -rw-r--r-- | site_scons/site_tools/auto_install_binaries.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/site_scons/site_tools/auto_install_binaries.py b/site_scons/site_tools/auto_install_binaries.py index 6416a5214c5..b2459e662f7 100644 --- a/site_scons/site_tools/auto_install_binaries.py +++ b/site_scons/site_tools/auto_install_binaries.py @@ -8,6 +8,7 @@ def generate(env): env.Tool('install') suffix_map = { + env.subst('$PROGSUFFIX') : 'bin', '.dylib' : 'lib', '.so' : 'lib', } |