check-lines.awk

来自「flex」· AWK 代码 · 共 8 行

{
  if( /#line/ && $1 != ($3 - 1)) {
    printf "Line directive mismatch at line %d: %s\n", NR, $0;
    exit 1;
  }
}