diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-03-01 19:03:10 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-03-01 19:03:10 +0000 |
| commit | 3031ec1b9c2d21ffa4c65f2420f1ec51007e84d8 (patch) | |
| tree | 9d4f86673803c344ffcbd9b4e9bc9ca2d74469d7 /boot/Makefile | |
| parent | f18d4d05b225193e54847be9483f5e1208595b53 (diff) | |
Formerly Makefile.~6~
Diffstat (limited to 'boot/Makefile')
| -rw-r--r-- | boot/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/boot/Makefile b/boot/Makefile index 2e86c260..ace74b1c 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -1,4 +1,4 @@ -# Copyright (C) 1993 Free Software Foundation, Inc. +# Copyright (C) 1993, 1994 Free Software Foundation, Inc. # This file is part of the GNU Hurd. # # The GNU Hurd is free software; you can redistribute it and/or modify @@ -32,7 +32,7 @@ install: boot cp boot /usr/local/bin/boot clean: - rm boot $(OBJS) *_S.h *Server.c + rm -f boot $(OBJS) *_S.h *Server.c boot.o: notify_S.h exec_S.h device_S.h |