diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/msvc/pgflex.pl | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/tools/msvc/pgflex.pl b/src/tools/msvc/pgflex.pl index 332d422f649..36636ccaf35 100644 --- a/src/tools/msvc/pgflex.pl +++ b/src/tools/msvc/pgflex.pl @@ -65,6 +65,20 @@ if ($? == 0) print $cfile $ccode; close($cfile); } + if ($flexflags =~ /\s-b\s/) + { + my $lexback = dirname($input) . "/lex.backup"; + open($lfile,$lexback) || die "opening $lexback for reading: $!"; + my $lexbacklines = <$lfile>; + close($lfile); + my $linecount = $lexbacklines =~ tr /\n/\n/; + if ($linecount != 1) + { + print "Scanner requires backup, see lex.backup.\n"; + exit 1; + } + unlink $lexback; + } exit 0; |