diff options
Diffstat (limited to 'src/backend/port/dgux/Makefile.inc')
-rw-r--r-- | src/backend/port/dgux/Makefile.inc | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/backend/port/dgux/Makefile.inc b/src/backend/port/dgux/Makefile.inc index b735b8a6301..e01dd8d8b2b 100644 --- a/src/backend/port/dgux/Makefile.inc +++ b/src/backend/port/dgux/Makefile.inc @@ -7,7 +7,7 @@ # # # IDENTIFICATION -# $Header: /cvsroot/pgsql/src/backend/port/dgux/Attic/Makefile.inc,v 1.2 1996/10/18 00:33:14 scrappy Exp $ +# $Header: /cvsroot/pgsql/src/backend/port/dgux/Attic/Makefile.inc,v 1.3 1996/10/18 04:47:13 scrappy Exp $ # # NOTES # The Linux port is included here by courtesy of Kai Petzke. @@ -18,6 +18,4 @@ BIGOBJS= false -CFLAGS+= -DLINUX_ELF - HEADERS+= machine.h port-protos.h |