From 3b32a799979056530c40dd309657d69870451f76 Mon Sep 17 00:00:00 2001
From: ceriel <none@none>
Date: Mon, 27 Jun 1988 14:52:18 +0000
Subject: [PATCH] improved distr entry

---
 util/int/Makefile | 2 ++
 1 file changed, 2 insertions(+)

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
-- 
2.34.1