diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-04-07 18:42:53 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-04-07 18:42:53 +0000 |
commit | f6b43299a2b19f4801da8cffe3166ce3794ef7f0 (patch) | |
tree | 58386d64872f30fdae8d6b1de169254fb7386f56 /ufs/Makefile | |
parent | a6d7d26a7f4feef1c1e9fd476a8402d0642cc344 (diff) |
Formerly Makefile.~18~
Diffstat (limited to 'ufs/Makefile')
-rw-r--r-- | ufs/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ufs/Makefile b/ufs/Makefile index 3698b7bd..a0ce7c7b 100644 --- a/ufs/Makefile +++ b/ufs/Makefile @@ -47,6 +47,8 @@ exec_server_image.o: ../exec/exec ../mkbootfs/mkbootfs clean: rm -f *.o ufs +relink: + rm -f ufs $(OBJS): ufs.h $(OBJS): $(addprefix $(headers)/hurd/,diskfs.h pager.h ioserver.h \ |