| commit | ad5431d2ca9c4dd454dfb3bc8e9de3ee0ad28a27 | [log] [tgz] |
|---|---|---|
| author | Jack Palevich <jackpal@google.com> | Fri Jun 04 12:03:14 2010 +0800 |
| committer | Jack Palevich <jackpal@google.com> | Fri Jun 04 12:03:14 2010 +0800 |
| tree | 1cf34b2f81ce28ef5c6c81513d33e8ec97741003 | |
| parent | 1bc4eae3492b5e5fd8afdb3bb92c63287e8e994c [diff] [blame] |
Emit shell prompt even when in non-interactive mode. Change-Id: If85c509efe13e4bdb40216c79d560ea7f83ba813
diff --git a/sh/input.h b/sh/input.h index a9d3a12..99c1b77 100644 --- a/sh/input.h +++ b/sh/input.h
@@ -46,6 +46,7 @@ extern char *parsenextc; /* next character in input buffer */ extern int init_editline; /* 0 == not setup, 1 == OK, -1 == failed */ +int in_interactive_mode(); char *pfgets(char *, int); int pgetc(void); int preadbuffer(void);