diff options
Diffstat (limited to 'build/build.xml')
| -rw-r--r-- | build/build.xml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/build/build.xml b/build/build.xml index 7ef9693f19..87f4c6e939 100644 --- a/build/build.xml +++ b/build/build.xml @@ -435,7 +435,7 @@ classpathref="buildhelpers.dependencies" destdir="${buildhelpers-classes}" debug="true" encoding="UTF-8" /> </target> - <target name="defaulttheme" depends="init, compile-helpers"> + <target name="defaulttheme" depends="init, compile-helpers" description="Compile all included themes"> <echo>Combining default themes css files</echo> <java classname="com.vaadin.buildhelpers.CompileDefaultTheme" failonerror="yes" fork="yes"> <arg value="-version" /> @@ -476,7 +476,8 @@ <!-- The widgetset generator is currently compiled along with rest of server-side Java. --> <target name="compile-widgetset-generator" depends="compile-core"/> - <target name="compile-widgetset" depends="init-deps" description="Compiles the widgetset given as the first parameter"> + <!-- Compiles the widgetset given as the first parameter --> + <target name="compile-widgetset" depends="init-deps"> <fail unless="widgetset" message="No widgetset parameter set"/> <property name="widgetset-style" value="OBF" /> <property name="widgetset-localWorkers" value="4" /> @@ -545,7 +546,7 @@ <target name="widgetsets" depends="init-nonpackage, init, compile-widgetset-generator, compile-client-side"/> <!-- Build each widgetset locally, i.e., not for an installation package. --> - <target name="widgetset-default" depends="init-nonpackage, init, compile-widgetset-generator, compile-widgetset-default"/> + <target name="widgetset-default" depends="init-nonpackage, init, compile-widgetset-generator, compile-widgetset-default" description="Compile the DefaultWidgetSet"/> <target name="widgetset-portal-default" depends="init-nonpackage, init, compile-widgetset-generator, compile-widgetset-portal-default"/> <!-- ================================================================== --> |