Searched refs:OPTION_EXEC (Results 1 – 2 of 2) sorted by relevance
92 OPTION_EXEC=211 OPTION_EXEC="$optarg"215 OPTION_EXEC="$2"220 OPTION_EXEC="$optarg"318 if [ -n "$OPTION_EXEC" ] ; then319 if [ ! -f "$OPTION_EXEC" ]; then320 echo "ERROR: Invalid initialization file: $OPTION_EXEC"739 if [ -n "$OPTION_EXEC" ] ; then740 cat $OPTION_EXEC >> $GDBSETUP
74 OPTION_EXEC = None variable116 global OPTION_FORCE, OPTION_EXEC, OPTION_TUI, OPTION_WAIT256 OPTION_EXEC = args.exec_file502 global OPTION_FORCE, OPTION_EXEC, OPTION_TUI, OPTION_WAIT509 if OPTION_EXEC:510 if not os.path.isfile(OPTION_EXEC):511 error('Invalid initialization file: %s' % (OPTION_EXEC))786 if OPTION_EXEC:787 with open(OPTION_EXEC, 'r') as execfile: