HomeSort by relevance Sort by last modified time
    Searched refs:OPTION_EXEC (Results 1 - 2 of 2) sorted by null

  /ndk/
ndk-gdb 92 OPTION_EXEC=
211 OPTION_EXEC="$optarg"
215 OPTION_EXEC="$2"
220 OPTION_EXEC="$optarg"
318 if [ -n "$OPTION_EXEC" ] ; then
319 if [ ! -f "$OPTION_EXEC" ]; then
320 echo "ERROR: Invalid initialization file: $OPTION_EXEC"
739 if [ -n "$OPTION_EXEC" ] ; then
740 cat $OPTION_EXEC >> $GDBSETUP
ndk-gdb.py 74 OPTION_EXEC = None
116 global OPTION_FORCE, OPTION_EXEC, OPTION_TUI, OPTION_WAIT
256 OPTION_EXEC = args.exec_file
502 global OPTION_FORCE, OPTION_EXEC, OPTION_TUI, OPTION_WAIT
509 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:

Completed in 629 milliseconds