diff options
| author | David Tardon <dtardon@redhat.com> | 2011-02-18 09:35:06 +0100 |
|---|---|---|
| committer | David Tardon <dtardon@redhat.com> | 2011-02-18 09:35:36 +0100 |
| commit | d73b8d1054d3ee3b6ff289f7a3ad6b6833e5bda6 (patch) | |
| tree | 0a8d351b9e96906c2fd101bb79942cff800a019c /scripting/util | |
| parent | 5847e3c3bd1d8821b7d894e60d84993d074bfe60 (diff) | |
configure inclusion/exclusion of scripting providers
Diffstat (limited to 'scripting/util')
| -rw-r--r-- | scripting/util/provider/beanshell/makefile.mk | 5 | ||||
| -rw-r--r-- | scripting/util/provider/javascript/makefile.mk | 5 |
2 files changed, 10 insertions, 0 deletions
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 |