diff options
author | Sven Gothel <[email protected]> | 2014-10-24 17:53:57 +0200 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2014-10-24 17:53:57 +0200 |
commit | 55a5a2ccaf3a6a3ad220bef997343793d0f58756 (patch) | |
tree | 0e42993bb3bfb6ac2b44468d707a97515bd91862 | |
parent | bac8792c958653013e5f06127c09488832aba37d (diff) | |
parent | 13c6252ed41e96375c03c7c6894aac53a809bfe0 (diff) |
Merge pull request #51 from davidcl/master
Fix the build on Fedora 17
-rw-r--r-- | make/build-common.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/make/build-common.xml b/make/build-common.xml index d0eb515e8..a601dc792 100644 --- a/make/build-common.xml +++ b/make/build-common.xml @@ -263,6 +263,7 @@ <path id="gluegen-gl.classpath"> <pathelement location="${gluegen.jar}" /> + <pathelement location="${antlr.jar}" /> <pathelement location="${gluegen-gl.jar}" /> </path> |