aboutsummaryrefslogtreecommitdiffstats
path: root/devel/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'devel/Makefile')
-rw-r--r--devel/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile
index 55e71ddf6984..d96c17640f9b 100644
--- a/devel/Makefile
+++ b/devel/Makefile
@@ -683,6 +683,7 @@
SUBDIR += maven
SUBDIR += maven2
SUBDIR += memcheck
+ SUBDIR += menhir
SUBDIR += mercator
SUBDIR += mercurial
SUBDIR += meta-cvs