Skip to content

Commit 5d0b3d4

Browse files
authored
flambda-backend: Fix last minute bug in #2055 (#2082)
1 parent a03e329 commit 5d0b3d4

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1015,7 +1015,7 @@ $(DEPDIR)/$(RUNTIME_DIR)/%.npic.$(D): OC_CPPFLAGS += $(OC_NATIVE_CPPFLAGS)
10151015
# The major GC performs better with this flag on Intel processors
10161016
# This is a workaround for an Intel CPU bug:
10171017
# https://www.intel.co.uk/content/www/uk/en/support/articles/000055650/processors.html
1018-
$(RUNTIME_DIR)/major_gc.$(O): OC_CFLAGS += $(INTEL_JCC_BUG_CFLAGS)
1018+
$(RUNTIME_DIR)/major_gc.%.$(O): OC_CFLAGS += $(INTEL_JCC_BUG_CFLAGS)
10191019

10201020
## Compilation of runtime C files
10211021

0 commit comments

Comments
 (0)