improved distr entry

diff --git a/util/int/Makefile b/util/int/Makefile
index d4070b3..6444a78 100644 (file)
--- 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