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

  /src/external/gpl3/gdb/dist/gnulib/
update-gnulib.sh 102 gnulib_tool="$gnulib_prefix/gnulib-tool"
105 if [ ! -f "$gnulib_tool" ]; then
107 echo " ($gnulib_tool)."
  /src/external/gpl3/gdb.old/dist/gnulib/
update-gnulib.sh 102 gnulib_tool="$gnulib_prefix/gnulib-tool"
105 if [ ! -f "$gnulib_tool" ]; then
107 echo " ($gnulib_tool)."

Completed in 15 milliseconds