diff options
-rw-r--r-- | Makefile.am | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index cc4112a..cf28658 100644 --- a/Makefile.am +++ b/Makefile.am @@ -205,4 +205,8 @@ indent: done \ fi +install-exec-hook: + cd $(DESTDIR)/$(bindir) && \ + $(LN_S) flex$(EXEEXT) flex++$(EXEEXT) + .PHONY: ChangeLog tags indent |