diff --git a/real/Makefile b/real/Makefile
index ce7d8501478cb09c457ffcd88ff818a4dfc88fd7..64a9e8e3af8f9afbc9a17a0548e367bb2c71c697 100644
--- a/real/Makefile
+++ b/real/Makefile
@@ -1,7 +1,7 @@
 TOP = ..
 include $(TOP)/mk/boilerplate.mk
 
-SUBDIRS = anna bspt compress compress2 fem fluid fulsom gamteb gg \
+SUBDIRS = anna bspt cacheprof compress compress2 fem fluid fulsom gamteb gg \
           grep hidden hpg infer lift linear maillist mkhprog parser pic prolog \
           reptile rsa scs symalg veritas eff