diff options
| -rw-r--r-- | tools/source/communi/makefile.mk | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/source/communi/makefile.mk b/tools/source/communi/makefile.mk index 2cf7ece392d6..0bbbad97f8c7 100644 --- a/tools/source/communi/makefile.mk +++ b/tools/source/communi/makefile.mk @@ -2,9 +2,9 @@ # # $RCSfile: makefile.mk,v $ # -# $Revision: 1.7 $ +# $Revision: 1.8 $ # -# last change: $Author: obo $ $Date: 2005-03-15 08:56:11 $ +# last change: $Author: obo $ $Date: 2005-04-13 12:09:43 $ # # The Contents of this file are made available subject to the terms of # either of the following licenses @@ -70,6 +70,7 @@ TARGET=communi .INCLUDE : svpre.mk .INCLUDE : settings.mk .INCLUDE : sv.mk +.INCLUDE : $(PRJ)$/util$/makefile.pmk # --- Files -------------------------------------------------------- |