1BOOT_CFLAGS += -time=$(shell pwd)/time.log
2TFLAGS += -time=$(shell pwd)/time.log
3