diff options
| -rw-r--r-- | extensions/util/makefile.pmk | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/extensions/util/makefile.pmk b/extensions/util/makefile.pmk index a6f598900dbe..e8c56611d7b3 100644 --- a/extensions/util/makefile.pmk +++ b/extensions/util/makefile.pmk @@ -4,9 +4,9 @@ # # $RCSfile: makefile.pmk,v $ # -# $Revision: 1.4 $ +# $Revision: 1.5 $ # -# last change: $Author: vg $ $Date: 2007-02-28 16:27:38 $ +# last change: $Author: kz $ $Date: 2008-03-06 15:09:41 $ # # The Contents of this file are made available subject to # the terms of GNU Lesser General Public License Version 2.1. @@ -32,10 +32,6 @@ # MA 02111-1307 USA # #************************************************************************* -PROJECTPCH4DLL=TRUE -PROJECTPCH=extensionspch -PROJECTPCHSOURCE=$(PRJ)$/util$/extensionspch -PDBTARGET=extensions .INCLUDE : settings.mk |