aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--make/build.xml2
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" />