diff options
Diffstat (limited to 'use_antlr2.patch')
| -rw-r--r-- | use_antlr2.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/use_antlr2.patch b/use_antlr2.patch new file mode 100644 index 000000000000..9e042713b160 --- /dev/null +++ b/use_antlr2.patch @@ -0,0 +1,10 @@ +--- configure ++++ configure + +@@ -20465,5 +20465,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 ++for ac_prog in runantlr2 antlr + do + # Extract the first word of "$ac_prog", so it can be a program name with args. |