Searched refs:OPTION_EXEC (Results 1 – 2 of 2) 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
71 OPTION_EXEC = None variable106 global OPTION_FORCE, OPTION_EXEC, OPTION_TUI226 OPTION_EXEC = args.exec_file439 global OPTION_FORCE, OPTION_EXEC, OPTION_TUI444 if OPTION_EXEC:445 if not os.path.isfile(OPTION_EXEC):446 error('Invalid initialization file: %s' % (OPTION_EXEC))674 if OPTION_EXEC:675 with open(OPTION_EXEC, 'r') as execfile: