[build] fix build again

Summary: shamecube

Reviewed By: ngorogiannis

Differential Revision: D23217308

fbshipit-source-id: d14506bce
master
Jules Villard 5 years ago committed by Facebook GitHub Bot
parent 5d23fb59aa
commit 4803492970

@ -874,7 +874,7 @@ devsetup: Makefile.autoconf
if [ "$$infer_repo_is_in_manpath" != "0" ]; then \
printf "$(TERM_INFO) echo 'export MANPATH=\"%s/infer/man\":\$$MANPATH' >> \"$$shell_config_file\"$(TERM_RESET)\n" "$(ABSOLUTE_ROOT_DIR)" >&2; \
fi; \
fi; \
fi
$(QUIET)PATH='$(ORIG_SHELL_PATH)'; if [ "$$(ocamlc -where 2>/dev/null)" != "$$($(OCAMLC) -where)" ]; then \
echo >&2; \
echo '$(TERM_INFO)*** NOTE: The current shell is not set up for the right opam switch.$(TERM_RESET)' >&2; \

Loading…
Cancel
Save