diff options
Diffstat (limited to 'pfinet/Makefile')
| -rw-r--r-- | pfinet/Makefile | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/pfinet/Makefile b/pfinet/Makefile index f36e8693..b4023be9 100644 --- a/pfinet/Makefile +++ b/pfinet/Makefile @@ -40,16 +40,14 @@ FROBBEDLINUXHEADERS = autoconf.h config.h errno.h etherdevice.h fcntl.h \ string.h tcp.h termios.h time.h timer.h types.h udp.h un.h wait.h ASMHEADERS=bitops.h segment.h system.h -pfinet: $(OBJS) ../libtrivfs/libtrivfs.a ../libfshelp/libfshelp.a \ - ../libthreads/libthreads.a ../libports/libports.a \ - ../libihash/libihash.a ../libshouldbeinlibc/libshouldbeinlibc.a - -vpath %.c $(srcdir)/linux-inet +HURDLIBS=trivfs fshelp threads ports ihash shouldbeinlibc target = pfinet include ../Makeconf +vpath %.c $(srcdir)/linux-inet + CPPFLAGS += -imacros $(srcdir)/config.h io-MIGSFLAGS = -imacros $(srcdir)/mutations.h |