diff options
Diffstat (limited to 'sot/util')
-rw-r--r-- | sot/util/makefile.mk | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/sot/util/makefile.mk b/sot/util/makefile.mk index 8e71fd8d3547..1995f06585f9 100644 --- a/sot/util/makefile.mk +++ b/sot/util/makefile.mk @@ -4,9 +4,9 @@ # # $RCSfile: makefile.mk,v $ # -# $Revision: 1.13 $ +# $Revision: 1.14 $ # -# last change: $Author: rt $ $Date: 2005-09-08 07:46:12 $ +# last change: $Author: rt $ $Date: 2006-03-08 14:04:46 $ # # The Contents of this file are made available subject to # the terms of GNU Lesser General Public License Version 2.1. @@ -90,4 +90,3 @@ $(MISC)$/$(SHL1TARGET).flt: makefile.mk @+echo Making: $@ +$(TYPE) sot.flt > $@ -.INCLUDE : target.pmk |