add makefule rule for ocp-indent

This commit is contained in:
Simon Cruanes 2017-01-25 00:01:27 +01:00
parent 0a7d2a2411
commit cebee407ea

View file

@ -137,4 +137,9 @@ watch:
make all; \
done
reindent:
@which ocp-indent || ( echo "require ocp-indent" ; exit 1 )
@find src '(' -name '*.ml' -or -name '*.mli' ')' -type f -print0 | xargs -0 echo "reindenting: "
@find src '(' -name '*.ml' -or -name '*.mli' ')' -type f -print0 | xargs -0 ocp-indent -i
.PHONY: examples push_doc tags qtest-gen qtest-clean devel update_next_tag