diff options
| author | Rüdiger Timm <rt@openoffice.org> | 2004-09-08 13:04:44 +0000 |
|---|---|---|
| committer | Rüdiger Timm <rt@openoffice.org> | 2004-09-08 13:04:44 +0000 |
| commit | 667f3790704080e28792a4b36b24b3046e1ccb2e (patch) | |
| tree | a724293edf6ff92bc0744541fbc2ab633ae81c91 /extensions | |
| parent | 3224e38a8e77f488704bc0d554bd23794f74ca0e (diff) | |
INTEGRATION: CWS ooo20040704 (1.5.88); FILE MERGED
2004/06/29 09:01:03 cmc 1.5.88.1: #i30801# allow using system stl if possible
Diffstat (limited to 'extensions')
| -rw-r--r-- | extensions/source/plugin/unx/makefile.mk | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/extensions/source/plugin/unx/makefile.mk b/extensions/source/plugin/unx/makefile.mk index e5f6ea273fbc..3bd9183cb406 100644 --- a/extensions/source/plugin/unx/makefile.mk +++ b/extensions/source/plugin/unx/makefile.mk @@ -2,9 +2,9 @@ # # $RCSfile: makefile.mk,v $ # -# $Revision: 1.5 $ +# $Revision: 1.6 $ # -# last change: $Author: hr $ $Date: 2004-02-02 19:33:55 $ +# last change: $Author: rt $ $Date: 2004-09-08 14:04:44 $ # # The Contents of this file are made available subject to the terms of # either of the following licenses @@ -65,6 +65,11 @@ PRJNAME=plugin TARGET=plunx TARGETTYPE=CUI +.IF "$(WITH_MOZILLA)" == "NO" +dummy: + @echo "mozilla disabled" +.ENDIF + .INCLUDE : ..$/util$/makefile.pmk # --- Files -------------------------------------------------------- |