diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2022-06-15 07:00:39 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2022-06-15 07:55:11 +0200 |
commit | a475c4d5c1fff75b31dcedf0124c521e573a5fc7 (patch) | |
tree | 1eb353e7019508c97c2a28cad2f856c307c2477f | |
parent | 1183d5ebfef96603df1217e3ae3a94506b89ce26 (diff) | |
download | bison-a475c4d5c1fff75b31dcedf0124c521e573a5fc7.tar.gz |
gnulib: update
-rwxr-xr-x | bootstrap | 9 | ||||
m--------- | gnulib | 0 |
2 files changed, 5 insertions, 4 deletions
@@ -1,6 +1,6 @@ #! /bin/sh # Print a version string. -scriptversion=2021-04-11.09; # UTC +scriptversion=2022-06-15.05; # UTC # Bootstrap this package from checked-out sources. @@ -487,7 +487,7 @@ fi # Die if there is no AC_CONFIG_AUX_DIR($build_aux) line in configure.ac. found_aux_dir=no -grep '^[ ]*AC_CONFIG_AUX_DIR(\['"$build_aux"'\])' configure.ac \ +grep '^[ ]*AC_CONFIG_AUX_DIR(\['"$build_aux"'])' configure.ac \ >/dev/null && found_aux_dir=yes grep '^[ ]*AC_CONFIG_AUX_DIR('"$build_aux"')' configure.ac \ >/dev/null && found_aux_dir=yes @@ -776,7 +776,8 @@ if $use_gnulib; then # not be performed because we do not know what the depth of the commit # is without fetching all commits. So fallback to fetching all commits. git -C "$gnulib_path" init - git -C "$gnulib_path" remote add origin ${GNULIB_URL:-$default_gnulib_url} + git -C "$gnulib_path" remote add origin \ + ${GNULIB_URL:-$default_gnulib_url} git -C "$gnulib_path" fetch $shallow origin "$GNULIB_REVISION" \ || git -C "$gnulib_path" fetch origin \ || cleanup_gnulib @@ -1109,7 +1110,7 @@ bootstrap_epilogue echo "$0: done. Now you can run './configure'." -# Local variables: +# Local Variables: # eval: (add-hook 'before-save-hook 'time-stamp) # time-stamp-start: "scriptversion=" # time-stamp-format: "%:y-%02m-%02d.%02H" diff --git a/gnulib b/gnulib -Subproject 71f29a9f4673e76e2bef19471a2f35cfa312d99 +Subproject d682f8de7f9d384f4cfc482a3ba2960329a8db2 |