diff options
Diffstat (limited to 'src/backend/port/dgux/Makefile.inc')
| -rw-r--r-- | src/backend/port/dgux/Makefile.inc | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/src/backend/port/dgux/Makefile.inc b/src/backend/port/dgux/Makefile.inc deleted file mode 100644 index e01dd8d8b2b..00000000000 --- a/src/backend/port/dgux/Makefile.inc +++ /dev/null @@ -1,21 +0,0 @@ -#------------------------------------------------------------------------- -# -# Makefile.inc-- -# Makefile for port/linux (Linux specific stuff) -# -# Copyright (c) 1994, Regents of the University of California -# -# -# IDENTIFICATION -# $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. -# -# (C) 1994, Kai Petzke, wpp@marie.physik.tu-berlin.de -# -#------------------------------------------------------------------------- - -BIGOBJS= false - -HEADERS+= machine.h port-protos.h |