From 9da662fee281bb71f72a45a62311bc138fa56540 Mon Sep 17 00:00:00 2001 From: Dmitry Jemerov Date: Mon, 21 Oct 2013 17:33:41 +0200 Subject: [PATCH] don't fail community plugin build if we don't have help --- python/build/python_plugin_build.gant | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/python/build/python_plugin_build.gant b/python/build/python_plugin_build.gant index 6e6ca328e90d..4e43cc1293ff 100644 --- a/python/build/python_plugin_build.gant +++ b/python/build/python_plugin_build.gant @@ -181,8 +181,8 @@ target(name: "zip", description: "Generate zip plugin file") { } ant.mkdir(dir: "${plugindir}/help") - ant.copy(file: "${pluginHelp}/pytonpluginhelp.jar", tofile: "${plugindir}/help/pythonpluginhelp.jar") - ant.copy(file: "${pluginHelp}/pytonpluginhelp_mac.jar", tofile: "${plugindir}/help/pythonpluginhelp_mac.jar") + ant.copy(file: "${pluginHelp}/pytonpluginhelp.jar", tofile: "${plugindir}/help/pythonpluginhelp.jar", failonerror: false) + ant.copy(file: "${pluginHelp}/pytonpluginhelp_mac.jar", tofile: "${plugindir}/help/pythonpluginhelp_mac.jar", failonerror: false) ant.zip(basedir: "${zipdir}", destfile: "${output}/${zipname}") }