diff options
author | Thomas Bushnell <thomas@gnu.org> | 1997-06-12 23:02:11 +0000 |
---|---|---|
committer | Thomas Bushnell <thomas@gnu.org> | 1997-06-12 23:02:11 +0000 |
commit | 185e17bc09521dc9d919076bd31887d4cba239bc (patch) | |
tree | 931fd7a28a39cc32a26f60218ce98351e33a199f /release/Makefile | |
parent | 7681bece735e6f090c3f92ef629096f12f6c0f68 (diff) |
Wed Jun 11 12:05:02 1997 Thomas Bushnell, n/BSG <thomas@gnu.ai.mit.edu>
* Makefile (dist-links): Create /servers/exec node.
* servers.boot: Dynamic linker is now `ld.so.1', not `ld.so'.
* menu.lst: Kernel is now `gnumach', not `kernel'.
Diffstat (limited to 'release/Makefile')
-rw-r--r-- | release/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/release/Makefile b/release/Makefile index 59f8620b..1ed3a1d0 100644 --- a/release/Makefile +++ b/release/Makefile @@ -50,6 +50,7 @@ dist-links: touch $(dist-root)/servers/socket/2 ln -f $(dist-root)/servers/socket/1 $(dist-root)/servers/socket/local ln -f $(dist-root)/servers/socket/2 $(dist-root)/servers/socket/inet + touch $(dist-root)/servers/exec endif ifneq ($(tool-root),) |