From 1580b6c3559c6aff62e72fe58da404a9a0926c2c Mon Sep 17 00:00:00 2001 From: Ruslan Ermilov Date: Tue, 22 Nov 2005 20:47:43 +0000 Subject: [PATCH] Unbreak installworld. --- Makefile.inc1 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.inc1 b/Makefile.inc1 index aecdbd3444d9..e3ca0a446317 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -552,7 +552,7 @@ distributeworld installworld: installcheck # and do a 'make reinstall' on the *client* to install new binaries from the # most recent server build. # -reinstall: installcheck +reinstall: @echo "--------------------------------------------------------------" @echo ">>> Making hierarchy" @echo "--------------------------------------------------------------"