diff options
author | Jose <jose@zeroc.com> | 2014-11-04 22:58:12 +0100 |
---|---|---|
committer | Jose <jose@zeroc.com> | 2014-11-04 22:58:12 +0100 |
commit | 1135f90ccfab6a9ca3bbf8c787685cc3995f28a4 (patch) | |
tree | fecd739a56942931843983f70c07599d298bbe6b /distribution/lib/DistUtils.py | |
parent | Fixed (ICE-5824) - Freeze test doesn't catch Errors (diff) | |
download | ice-1135f90ccfab6a9ca3bbf8c787685cc3995f28a4.tar.bz2 ice-1135f90ccfab6a9ca3bbf8c787685cc3995f28a4.tar.xz ice-1135f90ccfab6a9ca3bbf8c787685cc3995f28a4.zip |
Fixes for binary distributions
Diffstat (limited to 'distribution/lib/DistUtils.py')
-rw-r--r-- | distribution/lib/DistUtils.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/distribution/lib/DistUtils.py b/distribution/lib/DistUtils.py index dc0f299704e..6b6aa3ff221 100644 --- a/distribution/lib/DistUtils.py +++ b/distribution/lib/DistUtils.py @@ -806,6 +806,9 @@ class Platform: def getJavaEnv(self): return "CLASSPATH=" + string.join([t.getJar() for t in self.thirdParties if t.getJar()], os.pathsep) + + def getJavaBuildOptions(self): + return "" def getSharedLibraryFiles(self, root, path, extension = None): if not extension: |