diff options
Diffstat (limited to 'sim-scripts/gdb-sim-run.in')
| -rwxr-xr-x | sim-scripts/gdb-sim-run.in | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/sim-scripts/gdb-sim-run.in b/sim-scripts/gdb-sim-run.in index 4bcf249..b23ba96 100755 --- a/sim-scripts/gdb-sim-run.in +++ b/sim-scripts/gdb-sim-run.in @@ -53,6 +53,16 @@ warn() { [ "$1" ] && prerr $* } +check_status() +{ + if [ $1 -ne 0 ] ; then + shift + echo "FAILED: " "$*" >&2 + exit 1 + fi +} + + # # process the options # |