summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStefano Lattarini <stefano.lattarini@gmail.com>2012-11-22 10:29:37 +0100
committerStefano Lattarini <stefano.lattarini@gmail.com>2012-11-24 12:27:33 +0100
commit411ada9995cb7d66ea2ede4334172fb9be39ae94 (patch)
tree664c8fecb1526ead1eee6d35c2aafc7eac518900
parent8d1a542296ca5d9137644387ebe1611239e41018 (diff)
downloadautomake-411ada9995cb7d66ea2ede4334172fb9be39ae94.tar.gz
tests: fix a spurious failure with older flex versions
See automake bug#11524 and bug#12836. * t/lex-header.sh: Here, we use flex option '--header-file', but that option is not supported by some older flex versions. Simply skip this test if such an old flex version is detected. Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>
-rwxr-xr-xt/lex-header.sh6
1 files changed, 6 insertions, 0 deletions
diff --git a/t/lex-header.sh b/t/lex-header.sh
index f8d7333e6..ad2976e35 100755
--- a/t/lex-header.sh
+++ b/t/lex-header.sh
@@ -20,6 +20,12 @@
required='cc flex'
. ./defs || exit 1
+# Here, we need to use the use flex option '--header-file', but some
+# older flex versions don't support is (see automake bug#11524 and
+# bug#12836). Skip this test if such an old flex version is detected.
+$LEX --help | grep '.*--header-file' \
+ || skip_ "flex doesn't support the --header-file' option"
+
cat >> configure.ac << 'END'
AC_PROG_CC
AC_PROG_LEX