From 0cb3a20a9aaeac978c13fcaeb8a6aec154e40015 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Fri, 10 Nov 2017 09:54:06 -0800 Subject: [PATCH] [make] fix `make devsetup` Reviewed By: jberdine Differential Revision: D6298514 fbshipit-source-id: a2c5096 --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 496a8441a..8590f598e 100644 --- a/Makefile +++ b/Makefile @@ -589,7 +589,7 @@ endif devsetup: Makefile.autoconf $(QUIET)[ $(OPAM) != "no" ] || (echo 'No `opam` found, aborting setup.' >&2; exit 1) $(QUIET)$(call silent_on_success,installing $(OPAM_DEV_DEPS),\ - OPAMSWITCH=$(OPAMSWITCH); $(OPAM) pin remove --yes ocamlformat $(OPAM_DEV_DEPS)\ + OPAMSWITCH=$(OPAMSWITCH); $(OPAM) pin remove --yes ocamlformat; \ OPAMSWITCH=$(OPAMSWITCH); $(OPAM) install --yes --no-checksum user-setup $(OPAM_DEV_DEPS)) $(QUIET)echo '$(TERM_INFO)*** Running `opam config setup -a`$(TERM_RESET)' >&2 $(QUIET)OPAMSWITCH=$(OPAMSWITCH); $(OPAM) config --yes setup -a