diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/msvc/pgbison.pl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/tools/msvc/pgbison.pl b/src/tools/msvc/pgbison.pl index 895e398c08c..490df833673 100644 --- a/src/tools/msvc/pgbison.pl +++ b/src/tools/msvc/pgbison.pl @@ -45,5 +45,7 @@ close($mf); my $basetarg = basename($output); my $headerflag = ($make =~ /^$basetarg:\s+BISONFLAGS\b.*-d/m ? '-d' : ''); -system("bison $headerflag $input -o $output"); +my $nodep = $bisonver ge '3.0' ? "-Wno-deprecated" : ""; + +system("bison $nodep $headerflag $input -o $output"); exit $? >> 8; |