diff --git a/Makefile b/Makefile index e0c421d5..afe965fa 100644 --- a/Makefile +++ b/Makefile @@ -74,7 +74,7 @@ docs: build-docs # Rules for build and publish check-working-tree: - @[[ ! -z "`git status -s`" ]] && \ + @[ ! -z "`git status -s`" ] && \ echo "Stopping publish. There are change to commit or discard." && \ exit 1