diff options
Diffstat (limited to 'build/build.xml')
| -rw-r--r-- | build/build.xml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/build/build.xml b/build/build.xml index 8715c8ff1f..44ac65bbf0 100644 --- a/build/build.xml +++ b/build/build.xml @@ -995,7 +995,7 @@ <!-- ================================================================== --> <!-- Main target for the custom build. --> - <target name="custom-build" depends="clean-result, custom-build-init, nightly-init, package-init, init, build, docs, internal-package-zip"> + <target name="custom-build" depends="clean-result, custom-build-init, nightly-init, package-init, init, build"> </target> @@ -1013,6 +1013,8 @@ <property file="${build.properties.file}" /> <property name="version" value="${vaadin.version}"/> <property name="version.full" value="${version}.custom-${build.date.compact}"/> + <!-- Other widgetsets required as long as building demo WAR --> + <!-- <property name="compile.only.default-widgetset" value="1"/> --> </then> <!-- Otherwise version and snapshot.repository.url come from target "init" --> </antcontrib:if> |