ask to update stage0

JovanGerb · JovanGerb · commit fa6d8998d4ec · 2025-12-03T02:19:26.000Z
diff --git a/stage0/src/stdlib_flags.h b/stage0/src/stdlib_flags.h
@@ -1,3 +1,5 @@
+// please update stage0
+
 #include "util/options.h"
 
 // stage0 update needed for grind_annotated command

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+// please update stage0`
	`2`	`+`
`1`	`3`	`#include "util/options.h"`
`2`	`4`
`3`	`5`	`// stage0 update needed for grind_annotated command`