simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore(make): also remove trailing spaces in make reindent

Browse source
This commit is contained in:
Simon Cruanes 2020-02-15 14:36:39 -06:00
parent 11d8f8e879
commit 93b993825b
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Makefile
View file

@ -53,7 +53,9 @@ doc:
reinstall: | uninstall install
reindent: ocp-indent
reindent:
@find src '(' -name '*.ml' -or -name '*.mli' ')' -print0 \
| xargs -0 sed -i 's/[[:space:]]+$$//g'
@find src '(' -name '*.ml' -or -name '*.mli' ')' -print0 | xargs -0 echo "reindenting: "
@find src '(' -name '*.ml' -or -name '*.mli' ')' -print0 | xargs -0 ocp-indent -i