Regenerate directories of GWT sources from scratch each time.

Without this change, the GWT compiler may run with sources from a previous build. Compare cl/711422476 for Guava. RELNOTES=n/a PiperOrigin-RevId: 713305805
google · Jan 8, 2025 · 0f4989f · 0f4989f
1 parent 3919c28
commit 0f4989f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/core/pom.xml b/core/pom.xml
@@ -196,6 +196,8 @@
             <goals><goal>run</goal></goals>
             <configuration>
               <target name="copy-gwt-resources">
+                <delete dir="${project.build.directory}/gwt-sources" quiet="true" />
+
                 <copy toDir="${project.build.directory}/gwt-sources">
                   <fileset dir="${project.basedir}/src/main/java">
                     <include name="**/super/**/*.java"/>