1 BOOT_CFLAGS += -time=$(shell pwd)/time.log 2 TFLAGS += -time=$(shell pwd)/time.log 3
Indexes created Wed Sep 09 00:24:13 UTC 2026