Makefile: add 'fix-indent' target

2018-02-22 11:07:26 +01:00 · 2018-02-22 11:07:26 +01:00 · 08c430c78f
commit 08c430c78f
parent 5b70094233
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@ -53,6 +53,9 @@ test:
 test-indent:
 	@jbuilder build @runtest_indent ${DEV}

+fix-indent:
+	@src/lib_stdlib/test-ocp-indent.sh fix
+
 build-deps:
 	@./scripts/install_build_deps.sh