diff options
Diffstat (limited to 'use_antlr2.patch')
-rw-r--r-- | use_antlr2.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/use_antlr2.patch b/use_antlr2.patch index 93e087fd7091..b8ba8c14f30f 100644 --- a/use_antlr2.patch +++ b/use_antlr2.patch @@ -1,7 +1,7 @@ --- configure +++ configure -@@ -20460,5 +20460,5 @@ +@@ -20840,5 +20840,5 @@ # AC_CHECK_PROGS (variable, progs-to-check-for, [value-if-not-found], [path] # Check for antlr executable installed as runantlr (runantlr ~= java antlr.Tool) -for ac_prog in runantlr antlr |