diff --git a/src/lib_stdlib/test-ocp-indent.sh b/src/lib_stdlib/test-ocp-indent.sh index a5d7b8c13..d1e44de5a 100755 --- 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