OpenGrok
Home
Sort by:
relevance
|
last modified time
|
path
Full Search
in project(s):
src
xsrc
Definition
Symbol
File Path
History
|
|
Help
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
Indexes created Sun Mar 01 05:31:48 UTC 2026