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

  /src/external/gpl3/gdb/dist/gnulib/
update-gnulib.sh 27 # . The gnulib version (it should match $GNULIB_COMMIT_SHA1).
87 GNULIB_COMMIT_SHA1="bd11400942d63de12371988dca8144925de9e2c3"
114 if [ "$gnulib_head_sha1" != "$GNULIB_COMMIT_SHA1" ]; then
116 echo " (we expected it to be $GNULIB_COMMIT_SHA1)"
  /src/external/gpl3/gdb.old/dist/gnulib/
update-gnulib.sh 27 # . The gnulib version (it should match $GNULIB_COMMIT_SHA1).
87 GNULIB_COMMIT_SHA1="bd11400942d63de12371988dca8144925de9e2c3"
114 if [ "$gnulib_head_sha1" != "$GNULIB_COMMIT_SHA1" ]; then
116 echo " (we expected it to be $GNULIB_COMMIT_SHA1)"

Completed in 25 milliseconds