1#!/bin/sh 2# Wrapper for "gdb -tui" 3# The binary gdbtui was deprecated on gdb 7.4, and removed on gdb 7.5 4 5PROG=/usr/bin/gdb 6ARGS= 7 8while test $# -ne 0; do 9 ARGS="${ARGS}$1 " 10 shift 11done 12 13${PROG} -tui ${ARGS} 14