diff options
| author | Jose <jose@zeroc.com> | 2018-12-13 18:19:58 +0100 |
|---|---|---|
| committer | Jose <jose@zeroc.com> | 2018-12-13 18:19:58 +0100 |
| commit | bc98d424f1cf67cbb39c218b7554d6c43899f4e5 (patch) | |
| tree | dfc2f201695f2bf82dca753957c0e2d014f9174d /scripts/Util.py | |
| parent | Fixed for Java metrics test failure #217 (diff) | |
| download | ice-bc98d424f1cf67cbb39c218b7554d6c43899f4e5.tar.bz2 ice-bc98d424f1cf67cbb39c218b7554d6c43899f4e5.tar.xz ice-bc98d424f1cf67cbb39c218b7554d6c43899f4e5.zip | |
Build multiple PHP packages from a single source
Diffstat (limited to 'scripts/Util.py')
| -rw-r--r-- | scripts/Util.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/Util.py b/scripts/Util.py index fcb2d4df0a5..8873bb821ec 100644 --- a/scripts/Util.py +++ b/scripts/Util.py @@ -437,7 +437,7 @@ class Windows(Platform): platform = current.driver.configs[mapping].buildPlatform config = "Debug" if current.driver.configs[mapping].buildConfig.find("Debug") >= 0 else "Release" if isinstance(mapping, PhpMapping): - return os.path.join(installDir, "lib", platform, config) + return os.path.join(installDir, "lib", "php-{0}".format(current.config.phpVersion), platform, config) elif component.useBinDist(mapping, current): return os.path.join(installDir, "build", "native", "bin", platform, config) else: |