diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-12-13 16:57:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-13 16:57:12 +0100 |
| commit | 1c0007ba71bfc1d42213e9feaa0ab3a867f2e163 (patch) | |
| tree | abf119d5b9dabef5e218721cdc4ee87e4f381425 /modules/gridmap/SCsub | |
| parent | 34e489f060ab0d60ebff0bb261db967eecbe6544 (diff) | |
| parent | 0e624234daaecbe5dee6bcaa37d7af21896e8bf6 (diff) | |
Merge pull request #14626 from Hinsbart/module_env
Scons: Build modules in seperate env.
Diffstat (limited to 'modules/gridmap/SCsub')
| -rw-r--r-- | modules/gridmap/SCsub | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/modules/gridmap/SCsub b/modules/gridmap/SCsub index 0882406761..2ffe15cd33 100644 --- a/modules/gridmap/SCsub +++ b/modules/gridmap/SCsub @@ -1,7 +1,10 @@ #!/usr/bin/env python Import('env') +Import('env_modules') -env.add_source_files(env.modules_sources, "*.cpp") +env_gridmap = env_modules.Clone() + +env_gridmap.add_source_files(env.modules_sources, "*.cpp") Export('env') |