diff options
Diffstat (limited to 'regen_perly.pl')
-rw-r--r-- | regen_perly.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/regen_perly.pl b/regen_perly.pl index b8fb5d7004..2abe8e74ea 100644 --- a/regen_perly.pl +++ b/regen_perly.pl @@ -35,6 +35,7 @@ sub usage { die "usage: $0 [ -b bison_executable ] [ file.y ]\n" } use warnings; use strict; +our $Verbose; BEGIN { require './regen/regen_lib.pl'; } my $bison = 'bison'; |