Home
last modified time | relevance | path

Searched refs:OPTION_EXEC (Results 1 – 2 of 2) sorted by relevance

/ndk/
Dndk-gdb96 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
Dndk-gdb.py98 OPTION_EXEC = None variable
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))
864 if OPTION_EXEC:
865 with open(OPTION_EXEC, 'r') as execfile: