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

  /src/external/gpl3/gdb/dist/gnulib/
update-gnulib.sh 113 gnulib_head_sha1=`cd $gnulib_prefix && git rev-parse HEAD`
114 if [ "$gnulib_head_sha1" != "$GNULIB_COMMIT_SHA1" ]; then
115 echo "Error: Wrong version of gnulib: $gnulib_head_sha1"
  /src/external/gpl3/gdb.old/dist/gnulib/
update-gnulib.sh 113 gnulib_head_sha1=`cd $gnulib_prefix && git rev-parse HEAD`
114 if [ "$gnulib_head_sha1" != "$GNULIB_COMMIT_SHA1" ]; then
115 echo "Error: Wrong version of gnulib: $gnulib_head_sha1"

Completed in 23 milliseconds