Makefile: Explicit stdin from terminal, so `make -j' builds work.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 8 Mar 2014 14:58:29 +0000 (14:58 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 8 Mar 2014 14:58:29 +0000 (14:58 +0000)
Arrange that stdin is /dev/tty for local installs so that they can be
confirmed manually.


No differences found