diff options
Diffstat (limited to 'Src/exec.c')
| -rw-r--r-- | Src/exec.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Src/exec.c b/Src/exec.c index e95cad300..d5fe69ec0 100644 --- a/Src/exec.c +++ b/Src/exec.c @@ -1027,6 +1027,11 @@ execstring(char *s, int dont_change_job, int exiting, char *context) Eprog prog; pushheap(); + if (isset(VERBOSE)) { + zputs(s, stderr); + fputc('\n', stderr); + fflush(stderr); + } if ((prog = parse_string(s, 0))) execode(prog, dont_change_job, exiting, context); popheap(); |