Searched refs:DEBUG_SCRIPT (Results 1 - 1 of 1) sorted by relevance
/barrelfish-2018-10-04/tools/ | ||
H A D | qemu-wrapper.sh | 21 DEBUG_SCRIPT="" 74 shift; DEBUG_SCRIPT="$1" 223 if test "$DEBUG_SCRIPT" = ""; then 241 GDB_ARGS="-x $DEBUG_SCRIPT" |
Completed in 45 milliseconds