diff options
-rw-r--r-- | scripting/source/pyprov/makefile.mk | 5 | ||||
-rw-r--r-- | scripting/util/provider/beanshell/makefile.mk | 5 | ||||
-rw-r--r-- | scripting/util/provider/javascript/makefile.mk | 5 |
3 files changed, 15 insertions, 0 deletions
diff --git a/scripting/source/pyprov/makefile.mk b/scripting/source/pyprov/makefile.mk index 2a63d9f25d4e..e95dac858a3e 100644 --- a/scripting/source/pyprov/makefile.mk +++ b/scripting/source/pyprov/makefile.mk @@ -36,6 +36,11 @@ TARGET=pyprov # ------------------------------------------------------------------ +.IF "$(ENABLE_SCRIPTING_PYTHON)" != "YES" +@all: + @echo "Script Provider for Python build disabled." +.ENDIF + # --- Targets ------------------------------------------------------ ALL : ALLTAR \ diff --git a/scripting/util/provider/beanshell/makefile.mk b/scripting/util/provider/beanshell/makefile.mk index 7e16329fda34..cbb0c40e6215 100644 --- a/scripting/util/provider/beanshell/makefile.mk +++ b/scripting/util/provider/beanshell/makefile.mk @@ -37,6 +37,11 @@ EXTENSION_ZIPNAME:=script-provider-for-beanshell COMPONENT_JARFILES=$(EXTENSIONDIR)$/$(EXTENSIONNAME).jar +.IF "$(ENABLE_SCRIPTING_BEANSHELL)" != "YES" +@all: + @echo "Script Provider for BeanShell build disabled." +.ENDIF + .INCLUDE : extension_pre.mk .INCLUDE : target.mk .INCLUDE : extension_post.mk diff --git a/scripting/util/provider/javascript/makefile.mk b/scripting/util/provider/javascript/makefile.mk index a99096a626ec..f6443ad577aa 100644 --- a/scripting/util/provider/javascript/makefile.mk +++ b/scripting/util/provider/javascript/makefile.mk @@ -38,6 +38,11 @@ EXTENSION_ZIPNAME:=script-provider-for-javascript COMPONENT_JARFILES=$(EXTENSIONDIR)$/$(EXTENSIONNAME).jar EXTENSION_PACKDEPS=$(SOLARBINDIR)$/js.jar +.IF "$(ENABLE_SCRIPTING_JAVASCRIPT)" != "YES" +@all: + @echo "Script Provider for JavaScript build disabled." +.ENDIF + .INCLUDE : extension_pre.mk .INCLUDE : target.mk .INCLUDE : extension_post.mk |