Makefile: minor improvement of a rule related to the native dynlink library

2017-02-08 13:41:36 +01:00 · 2017-02-08 13:41:36 +01:00 · 460019eb69
parent a23bec29ec
commit 460019eb69
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -802,7 +802,7 @@ natruntop:
 # Native dynlink

 otherlibs/dynlink/dynlink.cmxa: otherlibs/dynlink/natdynlink.ml
-	cd otherlibs/dynlink && $(MAKE) allopt
+	$(MAKE) -C otherlibs/dynlink allopt

 # The parser