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

  /ndk/
ndk-gdb 89 OPTION_EXEC=
207 OPTION_EXEC="$optarg"
211 OPTION_EXEC="$2"
216 OPTION_EXEC="$optarg"
299 if [ -n "$OPTION_EXEC" ] ; then
300 if [ ! -f "$OPTION_EXEC" ]; then
301 echo "ERROR: Invalid initialization file: $OPTION_EXEC"
705 if [ -n "$OPTION_EXEC" ] ; then
706 cat $OPTION_EXEC >> $GDBSETUP
ndk-gdb.py 71 OPTION_EXEC = None
106 global OPTION_FORCE, OPTION_EXEC, OPTION_TUI
226 OPTION_EXEC = args.exec_file
439 global OPTION_FORCE, OPTION_EXEC, OPTION_TUI
444 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:

Completed in 33 milliseconds