diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-08-02 17:29:00 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-08-02 17:29:00 +0000 |
| commit | a741a28376242a43efc8d7c024490d0f9efd5faf (patch) | |
| tree | d37c83dccfff638eb82469661ff7b792692e77a9 | |
| parent | a075486ff2c24c80845b69c2a42664cfec74f363 (diff) | |
Formerly Makefile.~4~
| -rw-r--r-- | pfinet/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pfinet/Makefile b/pfinet/Makefile index 31e3a836..63d56143 100644 --- a/pfinet/Makefile +++ b/pfinet/Makefile @@ -32,6 +32,6 @@ target = pfinet include ../Makeconf -CPPFLAGS += -I. +CPPFLAGS += -I. -D__KERNEL__ -D_HURD_ |