Skip to content

Commit

Permalink
CONTRIBUTING: update script name
Browse files Browse the repository at this point in the history
Signed-off-by: Stephan Renatus <[email protected]>
  • Loading branch information
srenatus committed Oct 1, 2024
1 parent bfc0f9e commit 1161ede
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -69,7 +69,7 @@ the policy you're working on, providing an extremely fast feedback loop for deve

Build the `regal` executable simply by running `go build`, or with `rq` installed, by running `build/do.rq build`.

Occasionally you may want to run the `fetch_builtin_data.sh` script from inside the `build` directory. This will
Occasionally you may want to run the `build/do.rq fetch` script. This will
populate the `data` directory with any data necessary for linting (such as the built-in function metadata from OPA).

## Testing
Expand Down

0 comments on commit 1161ede

Please sign in to comment.