Skip to content

Commit 977d3c4

Browse files
committed
flambda-backend: gen_primitives fix
1 parent e0dcd09 commit 977d3c4

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
@@ -801,7 +801,7 @@ runtime4/ld.conf: $(ROOTDIR)/Makefile.config
801801
# To speed up builds, we avoid changing "primitives" when files
802802
# containing primitives change but the primitives table does not
803803
runtime4/primitives: \
804-
$(shell runtime4/gen_primitives.sh > runtime4/primitives.new; \
804+
$(shell (cd $(ROOTDIR)/runtime4 && ./gen_primitives.sh) > runtime4/primitives.new; \
805805
cmp -s runtime4/primitives runtime4/primitives.new || \
806806
echo runtime4/primitives.new)
807807
$(V_GEN)cp $^ $@

0 commit comments

Comments
 (0)