diff options
| author | Wade Walker <[email protected]> | 2018-12-28 09:45:06 -0600 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2019-08-16 23:59:35 +0200 |
| commit | 760295dc597b3a91bf011115dd7bfad9c0c37f82 (patch) | |
| tree | f8f3ae67f5d1c24daf730defa6104f76aa84c0bd /make/build.xml | |
| parent | 93121714758f89a394993f0740c6929f48fb887b (diff) | |
Fixed java.home directory and removed obsolete tools.jar
In Java 9+, there's no longer a "jre" directory in the installation, so
removed references to it. The tools.jar file also no longer exists in
Java installations (it's now stored in a secret non-JAR format), so
removed that as well.
Diffstat (limited to 'make/build.xml')
| -rw-r--r-- | make/build.xml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/make/build.xml b/make/build.xml index 3304ec4..73616fa 100644 --- a/make/build.xml +++ b/make/build.xml @@ -138,8 +138,6 @@ <property name="c.grammar.out.dir" value="${src.generated.java}/com/jogamp/gluegen/cgram" /> <property name="j.grammar.out.dir" value="${src.generated.java}/com/jogamp/gluegen/jgram" /> - <property name="tools.jar" value="${java.home}/../lib/tools.jar"/> - <property name="archive.name" value="gluegen-${gluegen.version}-${os.and.arch}" /> <property name="archive" value="${build}/${archive.name}" /> |