diff options
Diffstat (limited to 'Makefile.am.inc')
| -rw-r--r-- | Makefile.am.inc | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/Makefile.am.inc b/Makefile.am.inc index 00fd7d23f1..3c77dba0d8 100644 --- a/Makefile.am.inc +++ b/Makefile.am.inc @@ -22,8 +22,4 @@ # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. .l.c: - @if [ ! -x "$(LEX)" ]; then \ - echo "Neither lex nor flex was found"; \ - exit 1; \ - fi - $(LEX) -o$@ $< + $(RUNLEX) "$(LEX)" -o$@ $< |