diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1996-08-05 19:02:33 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1996-08-05 19:02:33 +0000 |
| commit | 0bc0cab64d7d3adaa96ab26f2762d60263a0da8d (patch) | |
| tree | e5296d2a9e28c1b2ec70068cfbfe15a6926be0d6 /release/Makefile | |
| parent | 8f4c7de9176ed255993389d38ab53398ddec3455 (diff) | |
*** empty log message ***
Diffstat (limited to 'release/Makefile')
| -rw-r--r-- | release/Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/release/Makefile b/release/Makefile index f2f73a7f..038c8974 100644 --- a/release/Makefile +++ b/release/Makefile @@ -47,9 +47,10 @@ install-dist: dist-links 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 - ln $(dist-root)/servers/socket/2 /servers/socket/inet + touch $(dist-root)/servers/socket/1 + 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 endif ifneq ($(tool-root),) |