1original=testfile-riscv64
2stripped=testfile-riscv64-s
3
4. $srcdir/run-strip-test.sh
5