2014-12-15 Janus Weil <janus@gcc.gnu.org>
[official-gcc.git] / config / bootstrap-time.mk
blob08a8dff912b1fa6d19a659d2802e15ca29619008
1 BOOT_CFLAGS += -time=$(shell pwd)/time.log
2 TFLAGS += -time=$(shell pwd)/time.log