diff options
author | Peter Eisentraut | 2003-08-27 22:58:54 +0000 |
---|---|---|
committer | Peter Eisentraut | 2003-08-27 22:58:54 +0000 |
commit | 3722226070b81d77d995a0b6113c6354df5600c2 (patch) | |
tree | 4ace297b4721878fdd4c2846d68d941f38bf52ba | |
parent | 535980aa402840ca26040f023cfab3e6ea3911fe (diff) |
Add "override" for make variable JADEFLAGS, since upper directory passes
this variable on the command line.
-rw-r--r-- | doc/src/sgml/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile index 42551d24074..9a8c04b159e 100644 --- a/doc/src/sgml/Makefile +++ b/doc/src/sgml/Makefile @@ -2,7 +2,7 @@ # # PostgreSQL documentation makefile # -# $Header: /cvsroot/pgsql/doc/src/sgml/Makefile,v 1.57 2003/04/10 01:22:44 petere Exp $ +# $Header: /cvsroot/pgsql/doc/src/sgml/Makefile,v 1.58 2003/08/27 22:58:54 petere Exp $ # #---------------------------------------------------------------------------- @@ -48,7 +48,7 @@ endif # Enable draft mode during development ifneq (,$(findstring devel, $(VERSION))) -JADEFLAGS += -V draft-mode +override JADEFLAGS += -V draft-mode endif |