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