diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-11-22 20:13:49 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-11-22 20:13:49 +0000 |
| commit | bf0c35664f944619dfd90c6ab5db43a824650362 (patch) | |
| tree | 5ba6f4dd249bbab34d73231774e55914b6ea9927 | |
| parent | 1fe263577545a2d4e2dfbbbdc9d3131d2638f6c6 (diff) | |
Formerly Makefile.~15~
| -rw-r--r-- | pfinet/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pfinet/Makefile b/pfinet/Makefile index 2f866581..508a8816 100644 --- a/pfinet/Makefile +++ b/pfinet/Makefile @@ -38,7 +38,7 @@ target = pfinet include ../Makeconf -CPPFLAGS += -I. -imacros config.h +CPPFLAGS += -imacros config.h io-MIGSFLAGS = -imacros mutations.h socket-MIGSFLAGS = -imacros mutations.h |