run_qemu.sh: if the run is aborted, then the last line is likely not an integer, thus compare strings instead of numbers

This commit is contained in:
Johannes 'josch' Schauer 2018-12-30 17:13:46 +01:00
parent b3269c8809
commit c670f51826
Signed by untrusted user: josch
GPG key ID: F2CBA5C78FBD83E1

View file

@ -13,7 +13,7 @@ cleanup() {
head --lines=-1 shared/result.txt
res="$(tail --lines=1 shared/result.txt)"
rm shared/result.txt
if [ "$res" -ne 0 ]; then
if [ "$res" != "0" ]; then
# this might possibly overwrite another non-zero rv
rv=1
fi