* src/SDCCglue.c (printIvalBitFields): fixed bug 1806631

[fw/sdcc] / support / Util / MySystem.c

diff --git a/support/Util/MySystem.c b/support/Util/MySystem.c
index 089b6b55d6095c7ef50f311898778798560e93a2..6aec20f98e91b338e1592926bab4441e115cfcec 100644 (file)
--- a/support/Util/MySystem.c
+++ b/support/Util/MySystem.c
@@ -321,6 +321,11 @@ my_system(const char *cmd)
   }
 
   e = system(cmdLine);
+
+  if (options.verboseExec && e) {
+      printf("+ %s returned errorcode %d\n", cmdLine, e);
+  }
+
   Safe_free(cmdLine);
 
   return e;