From dc5779519491c15ef07a884b1b502cc2cb24c6ef Mon Sep 17 00:00:00 2001
From: Bruno Dias <dias.h.bruno@gmail.com>
Date: Tue, 10 Dec 2019 12:25:05 -0300
Subject: [PATCH] [chore] fixed rule to check if repository is dirty.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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