Searched refs:OPTION_EXEC (Results 1 – 1 of 1) sorted by relevance
89 OPTION_EXEC=207 OPTION_EXEC="$optarg"211 OPTION_EXEC="$2"216 OPTION_EXEC="$optarg"299 if [ -n "$OPTION_EXEC" ] ; then300 if [ ! -f "$OPTION_EXEC" ]; then301 echo "ERROR: Invalid initialization file: $OPTION_EXEC"705 if [ -n "$OPTION_EXEC" ] ; then706 cat $OPTION_EXEC >> $GDBSETUP