[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 4/4] gnulib: update
From: |
Akim Demaille |
Subject: |
[PATCH 4/4] gnulib: update |
Date: |
Fri, 27 Jul 2012 17:13:00 +0200 |
---
bootstrap | 4 +++-
gnulib | 2 +-
2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/bootstrap b/bootstrap
index e00c8bb..e3e270b 100755
--- a/bootstrap
+++ b/bootstrap
@@ -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
index 2f67aa7..dbd9144 160000
--- a/gnulib
+++ b/gnulib
@@ -1 +1 @@
-Subproject commit 2f67aa79c6f13961eda685144130692dc9f7b95f
+Subproject commit dbd914496c99c52220e5f5ba4121d6cb55fb3beb
--
1.7.11.3