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 319fdfb396f5..f2ae6e6f5863 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -133,6 +133,7 @@ SUBDIR += clint SUBDIR += clisp-hyperspec SUBDIR += cmake + SUBDIR += cocktail SUBDIR += codecrusader SUBDIR += codeworker SUBDIR += colorer |