chiark / gitweb /
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)
commit59e0c21be6713b008285bf2857ef53003657d369
tree06cc71d126a9b315ff20db9186d30979f29c8bf7
parent4782bcca1b8384b95c5ab84e36110ad2ffdba4dc
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