x.py setup: Avoid infinite loop if stdin is /dev/null

EOF is not an error; it just causes read_line to produce "".

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

1 files changed, 4 insertions, 0 deletions

diff --git a/src/bootstrap/setup.rs b/src/bootstrap/setup.rs
index 6811a376ac0..a281061ace1 100644
--- a/src/bootstrap/setup.rs
+++ b/src/bootstrap/setup.rs
@@ -152,6 +152,10 @@ pub fn interactive_path() -> io::Result<Profile> {
         io::stdout().flush()?;
         let mut input = String::new();
         io::stdin().read_line(&mut input)?;
+        if input == "" {
+            eprintln!("EOF on stdin, when expecting answer to question.  Giving up.");
+            std::process::exit(1);
+        }
         break match parse_with_abbrev(&input) {
             Ok(profile) => profile,
             Err(err) => {