tree c8dbb4cbc7c6807a4e05a1058931dc77a3e93ffc
parent 4f0603fb13c0479ea23bf546acf9ae6da84735a5
author David Brazdil <dbrazdil@google.com> 1612299388 +0000
committer David Brazdil <dbrazdil@google.com> 1612299568 +0000

Minor fix of error printing

Result of run_test.sh is currently printed with printf. That does not
correctly print colours for TIMEOUT/CRASH result. Use printf to print
the test name and align the cursor, but print the actual result with
'echo -e'.

Change-Id: I2a9b03579ba92179eda223c6f67a4db0fdd289f9