diff options
Diffstat (limited to 'src/tools/msvc/pgbison.pl')
| -rw-r--r-- | src/tools/msvc/pgbison.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/msvc/pgbison.pl b/src/tools/msvc/pgbison.pl index d6f2444841d..31e75403f59 100644 --- a/src/tools/msvc/pgbison.pl +++ b/src/tools/msvc/pgbison.pl @@ -42,7 +42,8 @@ open($mf, $makefile); local $/ = undef; $make = <$mf>; close($mf); -my $headerflag = ($make =~ /\$\(BISON\)\s+-d/ ? '-d' : ''); +my $basetarg = basename($output); +my $headerflag = ($make =~ /^$basetarg:\s+BISONFLAGS\b.*-d/m ? '-d' : ''); system("bison $headerflag $input -o $output"); exit $? >> 8; |