diff options
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),) |