diff options
-rwxr-xr-x | agg/source/makefile.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/agg/source/makefile.mk b/agg/source/makefile.mk index 9173bb900ecc..876b409bd3a7 100755 --- a/agg/source/makefile.mk +++ b/agg/source/makefile.mk @@ -4,9 +4,9 @@ # # $RCSfile: makefile.mk,v $ # -# $Revision: 1.4 $ +# $Revision: 1.5 $ # -# last change: $Author: hjs $ $Date: 2005-11-14 10:21:12 $ +# last change: $Author: obo $ $Date: 2007-01-25 15:28:52 $ # # The Contents of this file are made available subject to # the terms of GNU Lesser General Public License Version 2.1. @@ -95,4 +95,4 @@ NO_SHL1DESCRIPTION=TRUE .INCLUDE : target.mk $(MISC)$/$(SHL1TARGET).flt : makefile.mk $(TARGET).flt - @+$(TYPE) $(TARGET).flt > $@ + @$(TYPE) $(TARGET).flt > $@ |