From 348857db17217b1f299f836824aa3c88d615e6c5 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Mon, 3 Jul 2017 05:22:59 -0700 Subject: [PATCH] [setup] always reset terminal mode Reviewed By: akotulski Differential Revision: D5364078 fbshipit-source-id: d438173 --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 9295c9ab4..661e016b2 100644 --- a/Makefile +++ b/Makefile @@ -578,10 +578,10 @@ devsetup: Makefile.autoconf printf '$(TERM_INFO) export MANPATH="%s/infer/man":$$MANPATH$(TERM_RESET)\n' "$(ABSOLUTE_ROOT_DIR)" >&2; \ fi; \ if [ "$$infer_repo_is_in_path" != "0" ]; then \ - printf "$(TERM_INFO) echo 'export PATH=\"%s/infer/bin\":\$$PATH' >> \"$$shell_config_file\"\n" "$(ABSOLUTE_ROOT_DIR)" >&2; \ + printf "$(TERM_INFO) echo 'export PATH=\"%s/infer/bin\":\$$PATH' >> \"$$shell_config_file\"$(TERM_RESET)\n" "$(ABSOLUTE_ROOT_DIR)" >&2; \ fi; \ if [ "$$infer_repo_is_in_manpath" != "0" ]; then \ - printf "$(TERM_INFO) echo 'export MANPATH=\"%s/infer/man\":\$$MANPATH' >> \"$$shell_config_file\"\n" "$(ABSOLUTE_ROOT_DIR)" >&2; \ + printf "$(TERM_INFO) echo 'export MANPATH=\"%s/infer/man\":\$$MANPATH' >> \"$$shell_config_file\"$(TERM_RESET)\n" "$(ABSOLUTE_ROOT_DIR)" >&2; \ fi; \ fi $(QUIET)PATH=$(ORIG_SHELL_PATH); if [ "$$(ocamlc -where 2>/dev/null)" != "$$($(OCAMLC) -where)" ]; then \