Permalink
Browse files

[fix] Makefile: build both packages for distrib

  • Loading branch information...
1 parent 7c7f1bb commit 0d63254c5788929469f6762fa579df35c06b63b3 @Aqua-Ye Aqua-Ye committed with BourgerieQuentin Jun 18, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 Makefile
View
@@ -77,7 +77,7 @@ OPA_TOOLS = opa-create
.PHONY: distrib
distrib: $(MYOCAMLBUILD)
- $(OCAMLBUILD) $(call target-tools,$(DISTRIB_TOOLS)) opa-packages.stamp
+ $(OCAMLBUILD) $(call target-tools,$(DISTRIB_TOOLS)) opa-both-packages.stamp
@$(call copy-tools,$(DISTRIB_TOOLS))
.PHONY: manpages

0 comments on commit 0d63254

Please sign in to comment.