diff options
Diffstat (limited to 'src/backend/port/next/Makefile.inc')
| -rw-r--r-- | src/backend/port/next/Makefile.inc | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/src/backend/port/next/Makefile.inc b/src/backend/port/next/Makefile.inc deleted file mode 100644 index e5ac43ec80c..00000000000 --- a/src/backend/port/next/Makefile.inc +++ /dev/null @@ -1,14 +0,0 @@ -#------------------------------------------------------------------------- -# -# Makefile.inc-- -# Makefile for port/next (NeXTStep 3.3 specific stuff) -# -#------------------------------------------------------------------------- - -CFLAGS+= -DUSE_POSIX_TIME -DNO_EMPTY_STMTS - -SUBSRCS+= load.c externs.c - -HEADERS+= machine.h port-protos.h - -LDADD+= -lIPC |