1 files changed, 3 insertions, 0 deletions
diff --git a/regen_perly.pl b/regen_perly.pl
index 3b94093993..ce69936a43 100644
--- a/regen_perly.pl
+++ b/regen_perly.pl
@@ -335,6 +335,9 @@ sub make_type_tab {
 
 
 sub my_system {
+    if ($Verbose) {
+        print "executing: @_\n";
+    }
     system(@_);
     if ($? == -1) {
 	die "failed to execute command '@_': $!\n";