[chore] fixed rule to check if repository is dirty.

jaksenko · Dec 10, 2019 · dc57795 · dc57795
1 parent b9cbd40
commit dc57795
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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