diff options
Diffstat (limited to 'devel/Makefile')
-rw-r--r-- | devel/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile index fc7ce1859dfd..79e398ca4348 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -1637,6 +1637,7 @@ SUBDIR += maven31 SUBDIR += maven33 SUBDIR += mcpp + SUBDIR += mdb SUBDIR += mdds SUBDIR += memleax SUBDIR += menhir |