diff options
Diffstat (limited to 'sot/util/makefile.mk')
-rw-r--r-- | sot/util/makefile.mk | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/sot/util/makefile.mk b/sot/util/makefile.mk index 2b5280d942bc..a978a8202806 100644 --- a/sot/util/makefile.mk +++ b/sot/util/makefile.mk @@ -4,9 +4,9 @@ # # $RCSfile: makefile.mk,v $ # -# $Revision: 1.15 $ +# $Revision: 1.16 $ # -# last change: $Author: hr $ $Date: 2006-06-20 05:56:55 $ +# last change: $Author: kz $ $Date: 2006-10-05 11:04:22 $ # # The Contents of this file are made available subject to # the terms of GNU Lesser General Public License Version 2.1. @@ -84,7 +84,7 @@ DEF1DES =StarObjectsTools .INCLUDE : target.mk $(MISC)$/$(SHL1TARGET).flt: makefile.mk - @+echo ------------------------------ - @+echo Making: $@ + @echo ------------------------------ + @echo Making: $@ +$(TYPE) sot.flt > $@ |