Home | History | Annotate | Download | only in config 
      1 BOOT_CFLAGS += -time=$(shell pwd)/time.log
      2 TFLAGS += -time=$(shell pwd)/time.log
      3