diff options
| author | Jose <jose@zeroc.com> | 2014-11-28 15:41:22 +0100 |
|---|---|---|
| committer | Jose <jose@zeroc.com> | 2014-11-28 15:41:22 +0100 |
| commit | f275d8515e2ba5594020e8a19b868f3db58bbd2e (patch) | |
| tree | f31066ae7e392afabf4f7a1749ec11ad3e72fcdd /demoscript | |
| parent | Ubuntu package updates (diff) | |
| download | ice-f275d8515e2ba5594020e8a19b868f3db58bbd2e.tar.bz2 ice-f275d8515e2ba5594020e8a19b868f3db58bbd2e.tar.xz ice-f275d8515e2ba5594020e8a19b868f3db58bbd2e.zip | |
Test/Demo script fixes
Diffstat (limited to 'demoscript')
| -rw-r--r-- | demoscript/Util.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/demoscript/Util.py b/demoscript/Util.py index 4cc586e9823..d8b9c6af2c4 100644 --- a/demoscript/Util.py +++ b/demoscript/Util.py @@ -295,6 +295,7 @@ def configurePaths(): else: # # Add third party home to PATH, to use db_xx tools + # if isWin32(): addenv("PATH", os.path.join(getThirdpartyHome(), "bin\\x64" if x64 else "bin")) if getCppCompiler() == "VC110": |