diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-04-07 18:41:20 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-04-07 18:41:20 +0000 |
| commit | 9d72a4552fa3257df129f338ec8d6a7afe26003d (patch) | |
| tree | 56c4cbca83493cc4279a0c3a5a10b84d595b34bf | |
| parent | ae4d2757397bf50cd731e7d8770edde60bf76349 (diff) | |
Formerly Makefile.~6~
| -rw-r--r-- | init/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/init/Makefile b/init/Makefile index 35da6be1..7154a579 100644 --- a/init/Makefile +++ b/init/Makefile @@ -44,3 +44,5 @@ startup_reply.h startup_replyUser.c: $(headers)/hurd/startup_reply.defs $(header clean: rm -f init *.o +relink: + rm -f init |