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

[nit.git] / tests / Makefile

diff --git a/tests/Makefile b/tests/Makefile
index 7b8ab2d..2b01363 100644 (file)
--- 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