diff options
Diffstat (limited to 'crawl-ref/source/makefile')
| -rw-r--r-- | crawl-ref/source/makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/crawl-ref/source/makefile b/crawl-ref/source/makefile index 0cf67f770c..55a516ea56 100644 --- a/crawl-ref/source/makefile +++ b/crawl-ref/source/makefile @@ -480,7 +480,6 @@ LIB += -l$(LIBCURS) endif USE_ICC := n - ifneq ($(USE_ICC),n) GCC := icc GXX := icpc @@ -490,6 +489,11 @@ CFWARN := -wd383,810,869,981,1418 -we14,193,304 CFWARN_L := endif +REPORT := n +ifneq ($(REPORT),n) +CFOTHERS += -ftime-report +endif + CFLAGS := $(CFOPTIMIZE) $(CFOTHERS) $(CFWARN) CFLAGS_L := $(CFOPTIMIZE_L) $(DEFINES_L) $(CFWARN_L) $(INCLUDES_L) $(CFOTHERS_L) YCFLAGS := -w -DYYENABLE_NLS=0 -DYYLTYPE_IS_TRIVIAL=0 |