diff options
Diffstat (limited to 'cpp/makebindist.py')
| -rwxr-xr-x | cpp/makebindist.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/cpp/makebindist.py b/cpp/makebindist.py index e5bb64ee3d0..ba56ed7f9e1 100755 --- a/cpp/makebindist.py +++ b/cpp/makebindist.py @@ -451,8 +451,11 @@ def makeInstall(sources, buildDir, installDir, distro, clean, version): if distro.startswith('IceJ'): if not os.path.exists(os.path.join(installDir, 'lib')): os.mkdir(os.path.join(installDir, 'lib')) + if not os.path.exists(os.path.join(installDir, 'lib', 'java5')): + os.mkdir(os.path.join(installDir, 'lib', 'java5')) shutil.copy(buildDir + '/' + distro + '/lib/Ice.jar', installDir + '/lib') shutil.copy(buildDir + '/' + distro + '/lib/IceGridGUI.jar', installDir + '/lib') + shutil.copy(buildDir + '/' + distro + '/lib/java5/Ice.jar', installDir + '/lib/java5') # # We really just want to copy the files, not move them. # Shelling out to a copy is easier (and more likely to always |