diff options
author | Akim Demaille <akim@lrde.epita.fr> | 2012-07-26 13:28:58 +0200 |
---|---|---|
committer | Akim Demaille <akim@lrde.epita.fr> | 2012-07-26 16:51:26 +0200 |
commit | d511fbd576e8249633776ba21a9209465fa1e59f (patch) | |
tree | 5e6fd056f1669d0997d80619e695103071e678dd /bootstrap | |
parent | 9c46ba16e344c9ffe4185dc08f970724cbd5afb7 (diff) | |
download | bison-d511fbd576e8249633776ba21a9209465fa1e59f.tar.gz |
gnulib: update
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 |