Skip to content

Commit

Permalink
Don't format unrelated subfolders
Browse files Browse the repository at this point in the history
  • Loading branch information
pavpanchekha committed Aug 30, 2024
1 parent fc30cd4 commit bc7afbd
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -58,7 +58,7 @@ hooks:
echo "make fmt" >>.git/hooks/pre-commit

fmt:
raco fmt -i $(shell find . -name '*.rkt')
@raco fmt -i $(shell find egg-herbie/ src/ infra/ -name '*.rkt')

# This rule is run by herbie.uwplse.org on every commit to Github.
# It does not restart the demo server, but it does pull new static content
Expand Down

0 comments on commit bc7afbd

Please sign in to comment.