diff options
Diffstat (limited to 'src/backend/port/Makefile')
-rw-r--r-- | src/backend/port/Makefile | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/src/backend/port/Makefile b/src/backend/port/Makefile new file mode 100644 index 00000000000..23f287de933 --- /dev/null +++ b/src/backend/port/Makefile @@ -0,0 +1,37 @@ +#------------------------------------------------------------------------- +# +# Makefile-- +# Makefile for the port-specific subsystem of the backend +# +# You must invoke this make file with the PORTNAME variable set to the +# name of a port, i.e. the name of a subdirectory of the current directory. +# Example: +# +# make SUBSYS.o PORTNAME=linux +# +# IDENTIFICATION +# $Header: /cvsroot/pgsql/src/backend/port/Makefile,v 1.1 1996/10/27 09:49:14 bryanh Exp $ +# +#------------------------------------------------------------------------- + +ifndef PORTNAME +.DEFAULT all: + @echo "Error: Must invoke make with PORTNAME= argument." + @false +else + +all: SUBSYS.o + +SUBSYS.o: + $(MAKE) -C $(PORTNAME) SUBSYS.o + cp $(PORTNAME)/SUBSYS.o . + +clean: + rm -f SUBSYS.o + $(MAKE) -C $(PORTNAME) clean + +.DEFAULT: + $(MAKE) -C $(PORTNAME) $@ + + +endif |