Test: fix make fix-indent erase all problem

2018-03-20 17:53:33 +01:00 · 2018-03-20 17:53:33 +01:00 · f6dbdf7ac3
commit f6dbdf7ac3
parent 34a8c30c83
1 changed files with 6 additions and 0 deletions
--- a/src/lib_stdlib/test-ocp-indent.sh
+++ b/src/lib_stdlib/test-ocp-indent.sh
@ -1,5 +1,11 @@
 #!/bin/bash

+type ocp-indent > /dev/null 2>&-
+if [ $? -ne 0 ]; then
+  echo "I require ocp-indent but it's not installed (opam install ocp-indent). Aborting."
+  exit 1
+fi
+
 tmp_dir="$(mktemp -d -t tezos_build.XXXXXXXXXX)"
 failed=no
 if [ "$1" = "fix" ]; then