diff options
| author | Sven Gothel <[email protected]> | 2014-06-17 03:19:54 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2014-06-17 03:19:54 +0200 |
| commit | 1ee6e77f731b1254792ecd23c8f4b6a8affc6375 (patch) | |
| tree | 4d5002627fd2cca5613d302842887903ee691711 | |
| parent | 33eb9484c4675423431521f2271e3e9d8d38f3b2 (diff) | |
complete commit 33eb9484c4675423431521f2271e3e9d8d38f3b2
| -rw-r--r-- | make/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make/build.xml b/make/build.xml index 1308f18..1ecd326 100644 --- a/make/build.xml +++ b/make/build.xml @@ -58,7 +58,7 @@ <!-- The source and build directories. --> <property name="project.root" value=".." /> <property name="src.java" value="${project.root}/src/java" /> - <property name="src.antlr" value="${project.root}/src/main/antlr" /> + <property name="src.antlr" value="${project.root}/src/antlr" /> <property name="build" location="${project.root}/${rootrel.build}" /> <property name="javadoc.root.path" location="${build}/javadoc" /> <property name="javadoc.gluegen.path" location="${javadoc.root.path}/gluegen/javadoc" /> |