From ef8b5f08f7a793bfd5a5aacbcf1c01fd6a7edc97 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Mon, 3 Aug 2009 10:07:04 -0400 Subject: [PATCH] tests: use [ ] instead of [[ ]] in Makefile Signed-off-by: Jean Privat --- tests/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 1.7.9.5