@@ -50,4 +50,4 @@ clean:
rm -f *.o boot-programs/*.o $(BUILT_SOURCES) $(ARCH_CLEAN_FILES)
.PHONY: clean
.PRECIOUS: iris.hh boot-programs/crt0.o
.PRECIOUS: iris.hh kernel.hh boot-programs/crt0.o
The note is not visible to the blocked user.