diff options
Diffstat (limited to 'src/backend/port/linux/Makefile.inc')
| -rw-r--r-- | src/backend/port/linux/Makefile.inc | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/src/backend/port/linux/Makefile.inc b/src/backend/port/linux/Makefile.inc deleted file mode 100644 index 00ed140f3b7..00000000000 --- a/src/backend/port/linux/Makefile.inc +++ /dev/null @@ -1,34 +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/linux/Attic/Makefile.inc,v 1.2 1996/10/18 00:33:32 scrappy Exp $ -# -# NOTES -# The Linux port is included here by courtesy of Kai Petzke. -# -# (C) 1994, Kai Petzke, wpp@marie.physik.tu-berlin.de -# -#------------------------------------------------------------------------- - -# -# linux has fast linkers and don't need the BIGOBJ stuff. -# -BIGOBJS= false - - -ifdef LINUX_ELF -CC=gcc -LDADD+= -ldl -CFLAGS+= -DLINUX_ELF -else -LDADD+= -ldld -SUBSRCS+= dynloader.c -endif - -HEADERS+= machine.h port-protos.h |