Fix indentation

This commit is contained in:
Laurent Rineau 2021-10-12 15:59:16 +02:00
parent 122ae14a49
commit 025ef82493
1 changed files with 4 additions and 4 deletions

View File

@ -57,12 +57,12 @@ print_testresult()
RESULT="t"
fi
else
if grep -E -q 'NOTICE: .*(need|require|incompatible).*and.*will not be' CompilerOutput_$1
then
RESULT="r"
if grep -E -q 'NOTICE: .*(need|require|incompatible).*and.*will not be' CompilerOutput_$1
then
RESULT="r"
else
RESULT="y"
fi
fi
fi
fi
TIMING=`awk '/^ # Running time: / {print $4}' < ErrorOutput_$1`