diff options
| -rw-r--r-- | src/Makefile.global.in | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/Makefile.global.in b/src/Makefile.global.in index fde70c25f95..55e6bbe9e08 100644 --- a/src/Makefile.global.in +++ b/src/Makefile.global.in @@ -1,5 +1,5 @@ # -*-makefile-*- -# $Header: /cvsroot/pgsql/src/Makefile.global.in,v 1.108 2000/11/03 20:27:40 petere Exp $ +# $Header: /cvsroot/pgsql/src/Makefile.global.in,v 1.109 2000/11/04 16:39:02 petere Exp $ #------------------------------------------------------------------------------ # All PostgreSQL makefiles include this file and use the variables it sets, @@ -28,10 +28,6 @@ all: # started to update the file. .DELETE_ON_ERROR: -# Do not let 'make' delete intermediate files. This might have been -# a sensible idea, but it's too buggy. -.SECONDARY: - # PostgreSQL version number VERSION = @VERSION@ |