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 /bootstrap | |
parent | 6dda5eec9f5ec36d6b58bd9f1fd2bc9c130022af (diff) | |
download | grep-86a709a5d48b25d6c0d9ba618e050548494b790a.tar.gz |
build: update gnulib and bootstrap
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 4 |
1 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 |