diff options
Diffstat (limited to 'cpp/makebindist.py')
| -rwxr-xr-x | cpp/makebindist.py | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/cpp/makebindist.py b/cpp/makebindist.py index 92ff8bf08f2..b0c952cdd5e 100755 --- a/cpp/makebindist.py +++ b/cpp/makebindist.py @@ -378,8 +378,14 @@ def makeInstall(sources, buildDir, installDir, distro, clean, version): # with the Jar already built. # if distro.startswith('IceJ'): - shutil.copy(buildDir + '/' + distro + '/lib/Ice.jar', installDir + '/lib') - shutil.copy(buildDir + '/' + distro + '/lib/IceGridGUI.jar', installDir + '/lib') + if getPlatform() == 'linux64': + shutil.copy(buildDir + '/' + distro + '/lib/Ice.jar', + installDir + '/lib64') + shutil.copy(buildDir + '/' + distro + '/lib/IceGridGUI.jar', + installDir + '/lib64') + else: + shutil.copy(buildDir + '/' + distro + '/lib/Ice.jar', installDir + '/lib') + shutil.copy(buildDir + '/' + distro + '/lib/IceGridGUI.jar', installDir + '/lib') # # We really just want to copy the files, not move them. # Shelling out to a copy is easier (and more likely to always |