If using --log or -j > 1, disable stdin.

Parallelism and redo-log cause lots of confusion for any rules that try
to ask the user for questions, so disable it altogether.

Arguably, we should just disable stdin all the time, but maybe it's
still occasionally useful (even though you have to pass --no-log to get
it back).
This commit is contained in:
Avery Pennarun 2018-12-02 22:53:00 -05:00
commit 1966a0fac7
4 changed files with 17 additions and 4 deletions

View file

@ -38,6 +38,11 @@ instead.
A .do script can call redo recursively to build its
dependencies.
To avoid confusion caused by multiple programs trying to
use the terminal, inside .do scripts, stdin is normally
redirected to /dev/null. The only exception is if the `-j`
option is *not* given and `--no-log` is used.
# OPTIONS