summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index ce6ea1d79..2f51d132f 100644
--- a/Makefile
+++ b/Makefile
@@ -287,7 +287,7 @@ beforedepend:: bytecomp/opcodes.ml
# The predefined exceptions and primitives
runtime/primitives:
- cd runtime; make primitives
+ cd runtime; $(MAKE) primitives
bytecomp/runtimedef.ml: byterun/primitives byterun/fail.h
(echo 'let builtin_exceptions = [|'; \