Searched refs:EXPECTED_JFLEX_VERSION_STR (Results 1 – 1 of 1) sorted by relevance
15 EXPECTED_JFLEX_VERSION_STR="This is JFlex $EXPECTED_JFLEX_VERSION"49 if [ "$EXPECTED_JFLEX_VERSION_STR" != "$JFLEX_VERSION" ]51 …echo "ERROR: Wrong version of jflex: \"$JFLEX_VERSION\". Expected: \"$EXPECTED_JFLEX_VERSION_STR\""