diff options
| author | David Mitchell <davem@iabyn.com> | 2016-02-10 10:21:08 +0000 |
|---|---|---|
| committer | David Mitchell <davem@iabyn.com> | 2016-02-11 17:08:58 +0000 |
| commit | 95a1c52083ec4d3ba0727a0362422d8ac6192ba3 (patch) | |
| tree | 8ae111c616f51ac4619715185a30662b4ea7f4aa /regen_perly.pl | |
| parent | c06527b22e13cfa21cd9f27439bb61b1402e2425 (diff) | |
| download | perl-95a1c52083ec4d3ba0727a0362422d8ac6192ba3.tar.gz | |
regen_perly.pl: print command with -v
when run verbose, print the bison command that is run
Diffstat (limited to 'regen_perly.pl')
| -rw-r--r-- | regen_perly.pl | 3 |
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"; |