diff --git a/util/int/Makefile b/util/int/Makefile
index d4070b3bc..6444a7887 100644
--- a/util/int/Makefile
+++ b/util/int/Makefile
@@ -112,6 +112,8 @@ opr:
 	make pr | opr
 
 distr:	.distr
+	(cd switch; make distr)
+	(cd test; make distr)
 
 .distr:		Makefile
 	echo $(DISTR) | tr ' ' '\012' >.distr