From: acondolu Date: Tue, 11 Jul 2017 15:40:00 +0000 (+0200) Subject: Fixed if-then-else X-Git-Tag: weak-reduction-separation~54 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3b65954878fa6afdbcbc7e120bc0588f0e10581a;p=fireball-separation.git Fixed if-then-else (cherry picked from commit 588a00cd5ae861a2f366df992f758f285265a34a) --- diff --git a/ocaml/run b/ocaml/run index 7a6436d..77957cd 100644 --- a/ocaml/run +++ b/ocaml/run @@ -8,15 +8,16 @@ echo trap 'echo' SIGINT -if ( ./test4.out 2>&1 | tee $file | stdbuf -o0 grep -Po '(?<=measure=)[^ ]*' | stdbuf -o0 tr '\n' ' ') -then { + +./test4.out 2>&1 | tee $file | stdbuf -o0 grep -Po '(?<=measure=)[^ ]*' | stdbuf -o0 tr '\n' ' ' + +if [ $? -eq 0 ] +then rm $file echo echo 'Test succeeded' -} -else { +else echo '' echo 'Test failed or interrupted' echo "Please have a look at log file: $file ." -} fi