diff options
| -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 |