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 | 528f76fbf80b0d3561057748e72f0de60c158583 (patch) | |
| tree | 853bc71b7999f83b564a1cc0676dcbf4e16e8d41 /ufs/Makefile | |
| parent | 30da4357f58c1115904cbf79037aa930178fc416 (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 \ |