gnu/usr.bin/gdb/gdbtui/gdbtui

   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
   5 PROG=/usr/bin/gdb
   6 ARGS=
   7
   8 while test $# -ne 0; do
   9         ARGS="${ARGS}$1 "
  10         shift
  11 done
  12
  13 ${PROG} -tui ${ARGS}