Use VERBOSE option in execstring()

2 files changed, 10 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index 30f1742a0..64b4b9861 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2013-10-19  Peter Stephenson  <p.w.stephenson@ntlworld.com>
+
+	* 31851: Src/exec.c: execstring() should display string to
+	be executed with VERBOSE option.
+
 2013-10-18  Peter Stephenson  <p.w.stephenson@ntlworld.com>
 
 	* 31846: Src/exec.c: fix NOEXEC option in execsimple().
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();