1 files changed, 0 insertions, 2 deletions
diff --git a/devel/Makefile b/devel/Makefile
index 239c100c8051..15c4af0a0d0e 100644
--- a/devel/Makefile
+++ b/devel/Makefile
@@ -1550,7 +1550,6 @@
     SUBDIR += maven
     SUBDIR += maven-wrapper
     SUBDIR += maven3
-    SUBDIR += maven31
     SUBDIR += maven33
     SUBDIR += mcpp
     SUBDIR += mdb
@@ -7200,7 +7199,6 @@
     SUBDIR += wand-libconfig
     SUBDIR += wandio
     SUBDIR += wasi-compiler-rt11
-    SUBDIR += wasi-compiler-rt12
     SUBDIR += wasi-compiler-rt13
     SUBDIR += wasi-libc
     SUBDIR += wasi-libcxx