diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-07-13 22:27:02 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-13 22:27:02 +0000 |
| commit | a6fe2e3607a23648d76993b309bb29a36ede8eae (patch) | |
| tree | 5a3e383ae352ce99ac95fd33709c4c9f177c4b76 /release/Makefile | |
| parent | 744c800a4c3aa4f46775bc23213faab4414494f6 (diff) | |
(dist-files): Add servers.boot.
(install-dist): Install servers.boot.
(dist-links): Create $(dist-root)/boot.
Diffstat (limited to 'release/Makefile')
| -rw-r--r-- | release/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/release/Makefile b/release/Makefile index d9fe31df..c563643e 100644 --- a/release/Makefile +++ b/release/Makefile @@ -22,7 +22,7 @@ dir := release makemode := misc # Files that go into the root of binary distributions -dist-files = INSTALL-binary dist-README SETUP +dist-files = INSTALL-binary dist-README SETUP servers.boot # Tools for making images tool-files = tool-Makefile install-stripped @@ -36,8 +36,10 @@ install-dist: dist-links cp INSTALL-binary $(dist-root)/ cp dist-README $(dist-root)/README cp SETUP $(dist-root)/SETUP + cp servers.boot $(dist-root)/boot dist-links: + mkdir -p $(dist-root)/boot mkdir -p $(dist-root)/servers/socket touch $(dist-root)/servers/socket/{1,2} ln $(dist-root)/servers/socket/1 /servers/socket/local |