From 68bbd79b3a503c9d2790cd6bf7e80ea8d758c079 Mon Sep 17 00:00:00 2001 From: John Clements Date: Thu, 18 Jul 2019 08:06:35 -0400 Subject: [PATCH] note about installers-from-built makefile target --- INSTALL.txt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/INSTALL.txt b/INSTALL.txt index 57b928072c..f35ef21298 100644 --- a/INSTALL.txt +++ b/INSTALL.txt @@ -328,6 +328,9 @@ installers: build a server on the current machine, run clients on hosts specified via `CONFIG`, and start/stop VirtualBox virtual machines that act as client machines. +If the server is already built, the `installers-from-built` target +will drive the client builds without re-building the server. + See the documentation of the "distro-build" package for a description of the site-configuration module and requirements on client hosts.