Index: build/git-hooks/pre-commit |
diff --git a/build/git-hooks/pre-commit b/build/git-hooks/pre-commit |
index 1153649842c3fc765765b18a93c397ba5b5012d7..a39be2202cef12427192d6ac174fe3dec4d7f52d 100755 |
--- a/build/git-hooks/pre-commit |
+++ b/build/git-hooks/pre-commit |
@@ -23,8 +23,8 @@ EOF |
exit 1 |
fi |
-if [[ -n "$(git ls-files .gitmodules)" && |
- -n "$(git diff-index --cached HEAD .gitmodules)" ]]; then |
+if [ -n "$(git ls-files .gitmodules)" ] && |
+ [ -n "$(git diff-index --cached HEAD .gitmodules)" ]; then |
cat <<EOF 1>&2 |
You are trying to commit a change to .gitmodules. That is not allowed. |
To make changes to submodule names/paths, edit DEPS. |