diff options
Diffstat (limited to 'extensions/util')
-rw-r--r-- | extensions/util/makefile.mk | 17 |
1 files changed, 6 insertions, 11 deletions
diff --git a/extensions/util/makefile.mk b/extensions/util/makefile.mk index 6f905f3d4df8..2d065b722a33 100644 --- a/extensions/util/makefile.mk +++ b/extensions/util/makefile.mk @@ -2,9 +2,9 @@ # # $RCSfile: makefile.mk,v $ # -# $Revision: 1.2 $ +# $Revision: 1.3 $ # -# last change: $Author: os $ $Date: 2001-04-20 10:54:15 $ +# last change: $Author: hjs $ $Date: 2001-06-27 12:14:26 $ # # The Contents of this file are made available subject to the terms of # either of the following licenses @@ -69,19 +69,14 @@ GEN_HID=TRUE .INCLUDE : settings.mk -ALL: \ - ALLTAR \ - $(SRS)$/hidother.hid - - .INCLUDE : target.mk -$(SRS)$/hidother.hid: hidother.src .IF "$(GUI)$(CPU)"=="WNTI" .IF "$(BUILD_SOSL)"=="" - +-mhids hidother.src ..\$(INPATH)$/srs ext hidother $(INCLUDE) +ALLTAR : $(SRS)$/hidother.hid .ENDIF -.ELSE - @+echo nix .ENDIF +$(SRS)$/hidother.hid: hidother.src + +-mhids hidother.src ..\$(INPATH)$/srs ext hidother $(INCLUDE) + |