diff options
Diffstat (limited to 'distribution/bin/makebindist.py')
-rwxr-xr-x | distribution/bin/makebindist.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/distribution/bin/makebindist.py b/distribution/bin/makebindist.py index 5a4419a3fd2..99ca66ae85c 100755 --- a/distribution/bin/makebindist.py +++ b/distribution/bin/makebindist.py @@ -88,6 +88,13 @@ class BerkeleyDB(ThirdParty): self.languages = ["java"] self.location = jarlocations.get(str(platform), None) + def getJar(self): + if self.location: + if self.location.endswith(".jar"): + return self.location + else: + return os.path.join(self.location, "lib", "db.jar") + def getFiles(self, platform): files = [ os.path.join("lib", "db.jar"), os.path.join("bin", "db_*") ] files += platform.getSharedLibraryFiles(self.location, os.path.join("lib", "*")) |