diff options
| -rw-r--r-- | Makefile.rules | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile.rules b/Makefile.rules index 41205bc87..a24cc72b7 100644 --- a/Makefile.rules +++ b/Makefile.rules @@ -101,10 +101,17 @@ endif %.o: %.i $(ECHO_PREFIX) echo " [CCi] $< -> $@" +ifneq ($(AST_CLANG_BLOCKS),) +ifeq ($(COMPILE_DOUBLE),yes) + $(CMD_PREFIX) $(CC) -o /dev/null -c $< $(CC_CFLAGS) $(OPTIMIZE) -Wno-unused-command-line-argument +endif + $(CMD_PREFIX) $(CC) -o $@ -c $< $(CC_CFLAGS) $(_ASTCFLAGS_COVERAGE) -Wno-unused-command-line-argument +else ifeq ($(COMPILE_DOUBLE),yes) $(CMD_PREFIX) $(CC) -o /dev/null -c $< $(CC_CFLAGS) $(OPTIMIZE) endif $(CMD_PREFIX) $(CC) -o $@ -c $< $(CC_CFLAGS) $(_ASTCFLAGS_COVERAGE) +endif ifneq ($(COMPILE_DOUBLE),yes) %.o: %.c |