diff --git a/test/arch-riscv64-relax-hi20.sh b/test/arch-riscv64-relax-hi20.sh index a0befcda31..fb4774eba3 100755 --- a/test/arch-riscv64-relax-hi20.sh +++ b/test/arch-riscv64-relax-hi20.sh @@ -46,3 +46,5 @@ $QEMU $t/exe1 | grep -q 'f00 10000f00 ba 11beef' $CC -B. -o $t/exe2 $t/a.o $t/b.o $t/c.o $QEMU $t/exe2 | grep -q 'f00 10000f00 ba 11beef' + +[ $(stat --format='%s' $t/exe1) -gt $(stat --format='%s' $t/exe2) ]