Makefile: Explicit stdin from terminal, so `make -j' builds work.

Arrange that stdin is /dev/tty for local installs so that they can be
confirmed manually.

diff --git a/Makefile b/Makefile
index 1c483839d1574c38719e1bd76ca4f0ce1ab05278..a0cc60546c6aec14fb02ef97efd6ee3882b2cced 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -147,7 +147,7 @@ check: $(THISHOST).sh
 ## Installation on a local host,
 install/$(THISHOST): $(THISHOST).sh
        [ "x$(SCRIPTS)" = x ] || $(ROOT) install -m755 $(SCRIPTS) $(sbindir)
-       $(ROOT) ./$(THISHOST).sh replace
+       $(ROOT) ./$(THISHOST).sh replace </dev/tty
 
 ## Installation on a remote host.
 $(addprefix install/, $(OTHERHOSTS)): install/%: %.sh