Permalink
Browse files

[fix] Use $(MAKE) instead of hardcore "make".

  • Loading branch information...
1 parent 7e413a8 commit 79461001ce0858e7c305a57554bf38b5429c831f @jlmess77 committed Mar 30, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 Makefile
View
2 Makefile
@@ -36,7 +36,7 @@ export
all: $(MYOCAMLBUILD)
$(OCAMLBUILD) $(call target-tools,$(ALL_TOOLS)) opa-packages.stamp
@$(call copy-tools,$(ALL_TOOLS))
- make manpages
+ $(MAKE) manpages
.PHONY: build
build: all

0 comments on commit 7946100

Please sign in to comment.