Searched refs:OPTION_EXEC (Results 1 – 2 of 2) sorted by relevance
96 OPTION_EXEC=216 OPTION_EXEC="$optarg"220 OPTION_EXEC="$2"225 OPTION_EXEC="$optarg"327 if [ -n "$OPTION_EXEC" ] ; then328 if [ ! -f "$OPTION_EXEC" ]; then329 echo "ERROR: Invalid initialization file: $OPTION_EXEC"852 if [ -n "$OPTION_EXEC" ] ; then853 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))864 if OPTION_EXEC:865 with open(OPTION_EXEC, 'r') as execfile: