Searched refs:OPTION_EXEC (Results 1 – 2 of 2) sorted by relevance
96 OPTION_EXEC=215 OPTION_EXEC="$optarg"219 OPTION_EXEC="$2"224 OPTION_EXEC="$optarg"322 if [ -n "$OPTION_EXEC" ] ; then323 if [ ! -f "$OPTION_EXEC" ]; then324 echo "ERROR: Invalid initialization file: $OPTION_EXEC"787 if [ -n "$OPTION_EXEC" ] ; then788 cat $OPTION_EXEC >> $GDBSETUP
98 OPTION_EXEC = None variable140 global OPTION_FORCE, OPTION_EXEC, OPTION_TUI, OPTION_WAIT283 OPTION_EXEC = args.exec_file529 global OPTION_FORCE, OPTION_EXEC, OPTION_TUI, OPTION_WAIT536 if OPTION_EXEC:537 if not os.path.isfile(OPTION_EXEC):538 error('Invalid initialization file: %s' % (OPTION_EXEC))813 if OPTION_EXEC:814 with open(OPTION_EXEC, 'r') as execfile: