diff options
author | 2023-10-10 14:33:42 +0000 | |
---|---|---|
committer | 2023-10-10 14:33:42 +0000 | |
commit | af1a266670d040d2f4083ff309d732d648afba2a (patch) | |
tree | 2fc46203448ddcc6f81546d379abfaeb323575e9 /roms/skiboot/test/run.sh | |
parent | e02cda008591317b1625707ff8e115a4841aa889 (diff) |
Change-Id: Iaf8d18082d3991dec7c0ebbea540f092188eb4ec
Diffstat (limited to 'roms/skiboot/test/run.sh')
-rwxr-xr-x | roms/skiboot/test/run.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/roms/skiboot/test/run.sh b/roms/skiboot/test/run.sh new file mode 100755 index 000000000..e159bd30c --- /dev/null +++ b/roms/skiboot/test/run.sh @@ -0,0 +1,16 @@ +#!/bin/bash + +t=$(mktemp) || exit 1 + +trap "rm -f -- '$t'" EXIT + +$* 2>&1 > $t +r=$? +if [ $r != 0 ]; then + cat $t + exit $r +fi + +rm -f -- "$t" +trap - EXIT +exit 0 |