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

  /ndk/
ndk-gdb 96 OPTION_EXEC=
215 OPTION_EXEC="$optarg"
219 OPTION_EXEC="$2"
224 OPTION_EXEC="$optarg"
322 if [ -n "$OPTION_EXEC" ] ; then
323 if [ ! -f "$OPTION_EXEC" ]; then
324 echo "ERROR: Invalid initialization file: $OPTION_EXEC"
787 if [ -n "$OPTION_EXEC" ] ; then
788 cat $OPTION_EXEC >> $GDBSETUP
ndk-gdb.py 98 OPTION_EXEC = None
140 global OPTION_FORCE, OPTION_EXEC, OPTION_TUI, OPTION_WAIT
283 OPTION_EXEC = args.exec_file
529 global OPTION_FORCE, OPTION_EXEC, OPTION_TUI, OPTION_WAIT
536 if OPTION_EXEC:
537 if not os.path.isfile(OPTION_EXEC):
538 error('Invalid initialization file: %s' % (OPTION_EXEC))
813 if OPTION_EXEC
    [all...]

Completed in 45 milliseconds