set thumb as as default option for armv7l-gcc because thumb becomes default since...
[platform/upstream/gcc48.git] / config / bootstrap-time.mk
1 BOOT_CFLAGS += -time=$(shell pwd)/time.log
2 TFLAGS += -time=$(shell pwd)/time.log