Strip JSpecify annotations from file in bootstrap tools.

java/time/zone/ZoneOffsetTransitionRule.java is compiled for the bootstrap tools, so must not contain JSpecify annotations.
jspecify · Dec 17, 2024 · 09309ef · 09309ef
1 parent 00585ac
commit 09309ef
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/make/CopyInterimTZDB.gmk b/make/CopyInterimTZDB.gmk
@@ -38,6 +38,10 @@ define tzdb_copyfiles
 	$(call MakeTargetDir)
 	$(RM) '$@'
 	$(SED) -e "s/package java.time.zone/package build.tools.tzdb/" \
+	    -e "s/import org.jspecify.annotations.NullMarked;//" \
+	    -e "s/import org.jspecify.annotations.Nullable;//" \
+	    -e "s/@NullMarked//" \
+	    -e "s/@Nullable //" \
         < $(<) > $@
 endef