1 files changed, 1 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile
index 692c317df07f..653c726d7c64 100644
--- a/devel/Makefile
+++ b/devel/Makefile
@@ -138,6 +138,7 @@
     SUBDIR += cgilib
     SUBDIR += cgprof
     SUBDIR += charva
+    SUBDIR += check
     SUBDIR += chora
     SUBDIR += cil
     SUBDIR += cl-asdf