#! /bin/sh
DEJAGNU=$HOME/src/runtest-gdbserver/site.exp runtest --target_board native-gdbserver "$@"