Use sprites for all themes (#9299)

theme-compiler/src/com/vaadin/buildhelpers/CompileTheme.java

@@ -33,7 +33,7 @@ public class CompileTheme {
                 "the version to add to the compiled theme");
         options.addOption("f", "theme-folder", true,
                 "the folder containing the theme");
-        options.addOption("s", "sprites", true, "use smartsprites");
+        options.addOption("s", "sprites", false, "use smartsprites");
         CommandLineParser parser = new PosixParser();
         CommandLine params = parser.parse(options, args);
         if (!params.hasOption("theme") || !params.hasOption("theme-folder")) {

themes-compiled/build.xml

@@ -80,6 +80,7 @@
 			<arg value="${theme.result.dir}" />
 			<arg value="--theme-version" />
 			<arg value="${vaadin.version}" />
+			<arg value="--sprites" />
 			<jvmarg value="-Xss8M" />
 			<jvmarg value="-XX:MaxPermSize=256M" />
 			<jvmarg value="-Djava.awt.headless=true" />