HomeSort by: relevance | last modified time | path
    Searched refs:index_dir (Results 1 - 3 of 3) sorted by relevancy

  /src/external/gpl2/texinfo/dist/util/
install-info-html 8 index_dir=.
76 index_dir=$OPTARG
93 index_dir="`expr \"$OPTARG\" ':' '[^=]*=\(.*\)'`"
123 document_dirs=`/bin/ls -d1 $index_dir`
128 index_file=$index_dir/index.html
  /src/external/gpl3/gdb.old/dist/gdb/testsuite/gdb.dwarf2/
gdb-index-nodebug.exp 38 set index_dir [host_standard_output_file ""]
40 set cmd "save gdb-index $index_dir"
  /src/external/gpl3/gdb/dist/gdb/testsuite/gdb.dwarf2/
gdb-index-nodebug.exp 38 set index_dir [host_standard_output_file ""]
40 set cmd "save gdb-index $index_dir"

Completed in 15 milliseconds