From: Jean Privat <jean@pryen.org>
Date: Mon, 3 Aug 2009 14:07:04 +0000 (-0400)
Subject: tests: use [ ] instead of [[ ]] in Makefile
X-Git-Tag: v0.3~84
X-Git-Url: http://nitlanguage.org

tests: use [ ] instead of [[ ]] in Makefile

Signed-off-by: Jean Privat <jean@pryen.org>
---

diff --git a/tests/Makefile b/tests/Makefile
index 7b8ab2d..2b01363 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -6,8 +6,8 @@ some:
 	./tests.sh base_compile.nit base_attr.nit base_gen.nit test_gen_inh.nit bench_fib.nit example_objet.nit
 
 failed:
-	@[[ ! -s errlist ]] && echo 'No failed tests to execute' ; true
-	@[[ -s errlist ]] && ./tests.sh `cat errlist | sort -u` ; true
+	@[ ! -s errlist ] && echo 'No failed tests to execute' ; true
+	@[ -s errlist ] && ./tests.sh `cat errlist | sort -u` ; true
 
 store:
 	./store_save.sh *.nit