diff options
author | Jim Meyering <meyering@redhat.com> | 2012-08-06 17:19:06 +0200 |
---|---|---|
committer | Jim Meyering <meyering@redhat.com> | 2012-08-07 21:24:31 +0200 |
commit | 86a709a5d48b25d6c0d9ba618e050548494b790a (patch) | |
tree | 3bf324cb2d48f5f36c22ec38e8132900c342e647 | |
parent | 6dda5eec9f5ec36d6b58bd9f1fd2bc9c130022af (diff) | |
download | grep-86a709a5d48b25d6c0d9ba618e050548494b790a.tar.gz |
build: update gnulib and bootstrap
-rwxr-xr-x | bootstrap | 4 | ||||
m--------- | gnulib | 0 |
2 files changed, 3 insertions, 1 deletions
@@ -1,6 +1,6 @@ #! /bin/sh # Print a version string. -scriptversion=2012-07-10.09; # UTC +scriptversion=2012-07-19.14; # UTC # Bootstrap this package from checked-out sources. @@ -214,6 +214,8 @@ use_git=true # otherwise find the first of the NAMES that can be run (i.e., # supports --version). If found, set ENVVAR to the program name, # die otherwise. +# +# FIXME: code duplication, see also gnu-web-doc-update. find_tool () { find_tool_envvar=$1 diff --git a/gnulib b/gnulib -Subproject 6c37e0a73c7c1b6fe6eac4d794e2e65791a2700 +Subproject a451aa0d0cbbec1efae7d07eb002fd4220511a2 |