Skip to content

Commit

Permalink
Suggest -p for brilck
Browse files Browse the repository at this point in the history
  • Loading branch information
sampsyo committed Aug 28, 2023
1 parent f48528e commit 50eea06
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions docs/tools/brilck.md
Original file line number Diff line number Diff line change
Expand Up @@ -28,3 +28,7 @@ It will print any problems it finds to standard error.

You can optionally provide a filename as a (sole) command-line argument.
This filename will appear in any error messages for easier parsing when many files are involved.

Consider supplying the `-p` flag to [the `bril2json` parser][text] to get source positions in the error messages.

[text]: ./text.md

0 comments on commit 50eea06

Please sign in to comment.