diff options
Diffstat (limited to 'sot/util/makefile.mk')
| -rw-r--r-- | sot/util/makefile.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sot/util/makefile.mk b/sot/util/makefile.mk index a978a8202806..b1f1cf0282ad 100644 --- a/sot/util/makefile.mk +++ b/sot/util/makefile.mk @@ -4,9 +4,9 @@ # # $RCSfile: makefile.mk,v $ # -# $Revision: 1.16 $ +# $Revision: 1.17 $ # -# last change: $Author: kz $ $Date: 2006-10-05 11:04:22 $ +# last change: $Author: obo $ $Date: 2007-01-25 15:41:34 $ # # The Contents of this file are made available subject to # the terms of GNU Lesser General Public License Version 2.1. @@ -86,5 +86,5 @@ DEF1DES =StarObjectsTools $(MISC)$/$(SHL1TARGET).flt: makefile.mk @echo ------------------------------ @echo Making: $@ - +$(TYPE) sot.flt > $@ + $(TYPE) sot.flt > $@ |