From 59e0c21be6713b008285bf2857ef53003657d369 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 8 Mar 2014 14:58:29 +0000
Subject: [PATCH 1/1] 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.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 1c48383..a0cc605 100644
--- 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
-- 
2.11.0