diff options
author | Michael I. Bushnell <mib@gnu.org> | 1993-12-07 03:17:57 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1993-12-07 03:17:57 +0000 |
commit | f455f02c9337ea7fb47e36b8952f491fd0c1bbd7 (patch) | |
tree | 6460ecbc20503736c6a7eb7e7924d2e582553521 /boot/Makefile | |
parent | d66eb18149625ef090d05ae8581f793671f4557d (diff) |
Formerly Makefile.~5~
Diffstat (limited to 'boot/Makefile')
-rw-r--r-- | boot/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/boot/Makefile b/boot/Makefile index c4a78945..2e86c260 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -15,12 +15,16 @@ # along with the GNU Hurd; see the file COPYING. If not, write to # the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. +dir := boot + include ../Makeconf VPATH=.:../machine OBJS = boot.o notifyServer.o execServer.o deviceServer.o boot_machdep.o +DIST_FILES = boot.c Makefile + boot: $(OBJS) $(link) |