diff options
Diffstat (limited to 'toolkit')
| -rw-r--r-- | toolkit/source/helper/makefile.mk | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/toolkit/source/helper/makefile.mk b/toolkit/source/helper/makefile.mk index 4f21a33e0044..bd96f3f9f9a5 100644 --- a/toolkit/source/helper/makefile.mk +++ b/toolkit/source/helper/makefile.mk @@ -2,9 +2,9 @@ # # $RCSfile: makefile.mk,v $ # -# $Revision: 1.7 $ +# $Revision: 1.8 $ # -# last change: $Author: obo $ $Date: 2004-07-05 15:57:40 $ +# last change: $Author: rt $ $Date: 2005-01-11 14:07:49 $ # # The Contents of this file are made available subject to the terms of # either of the following licenses @@ -73,6 +73,9 @@ ENABLE_EXCEPTIONS=TRUE .INCLUDE : settings.mk .INCLUDE : sv.mk +.INCLUDE : $(PRJ)$/util$/makefile.pmk + + # --- Files -------------------------------------------------------- SLOFILES= \ |