# $4 = use GHC (YES/NO)
# UseGhcForCc is only relevant when not booting from HC files.
-ifeq "$4" "YES"
+ifeq "$4 $$(BootingFromHc)" "YES NO"
$1/$2/build/%.$$($3_osuf) : $1/%.c $$(MKDIRHIER) $$($1_$2_HC_DEP)
$$(RM) $$@
$$(RM) $$@
$$($1_$2_HC) $$($1_$2_$3_GHC_CC_OPTS) -S $$< -o $$@
+$1/$2/build/%.$$($3_way_)s : $1/%.c $$($1_$2_HC_DEP)
+ $$(RM) $$@
+ $$($1_$2_HC) $$($1_$2_$3_GHC_CC_OPTS) -S $$< -o $$@
+
else
$1/$2/build/%.$$($3_osuf) : $1/%.c $$(MKDIRHIER)