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

  /src/external/gpl3/gdb/dist/gnulib/
update-gnulib.sh 100 gnulib_prefix=$1
102 gnulib_tool="$gnulib_prefix/gnulib-tool"
113 gnulib_head_sha1=`cd $gnulib_prefix && git rev-parse HEAD`
169 $gnulib_prefix/gnulib-tool --import --dir=. --lib=libgnu \
  /src/external/gpl3/gdb.old/dist/gnulib/
update-gnulib.sh 100 gnulib_prefix=$1
102 gnulib_tool="$gnulib_prefix/gnulib-tool"
113 gnulib_head_sha1=`cd $gnulib_prefix && git rev-parse HEAD`
169 $gnulib_prefix/gnulib-tool --import --dir=. --lib=libgnu \

Completed in 23 milliseconds