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=
216 OPTION_EXEC="$optarg"
220 OPTION_EXEC="$2"
225 OPTION_EXEC="$optarg"
327 if [ -n "$OPTION_EXEC" ] ; then
328 if [ ! -f "$OPTION_EXEC" ]; then
329 echo "ERROR: Invalid initialization file: $OPTION_EXEC"
852 if [ -n "$OPTION_EXEC" ] ; then
853 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))
    [all...]

Completed in 36 milliseconds