mirror of
https://src.fedoraproject.org/rpms/grub2.git
synced 2024-11-24 22:35:28 +00:00
29 lines
891 B
Diff
29 lines
891 B
Diff
|
From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
|
||
|
|
From: Peter Jones <pjones@redhat.com>
|
||
|
|
Date: Mon, 29 Jul 2019 10:58:52 -0400
|
||
|
|
Subject: [PATCH] Do better in bootstrap.conf
|
||
|
|
|
||
|
|
---
|
||
|
|
bootstrap.conf | 8 +++++++-
|
||
|
|
1 file changed, 7 insertions(+), 1 deletion(-)
|
||
|
|
|
||
|
|
diff --git a/bootstrap.conf b/bootstrap.conf
|
||
|
|
index 29a6a3e90e2..417cfe405f4 100644
|
||
|
|
--- a/bootstrap.conf
|
||
|
|
+++ b/bootstrap.conf
|
||
|
|
@@ -16,7 +16,13 @@
|
||
|
|
# along with this program. If not, see <https://www.gnu.org/licenses/>.
|
||
|
|
|
||
|
|
|
||
|
|
-GNULIB_REVISION=d271f868a8df9bbec29049d01e056481b7a1a263
|
||
|
|
+# GNULIB_REVISION=d271f868a8df9bbec29049d01e056481b7a1a263
|
||
|
|
+if [[ -z "${GNULIB_REVISION}" ]] ;then
|
||
|
|
+ GNULIB_REVISION=fixes
|
||
|
|
+fi
|
||
|
|
+if [[ -z "${GNULIB_URL}" ]] ;then
|
||
|
|
+ GNULIB_URL=https://github.com/rhboot/gnulib.git
|
||
|
|
+fi
|
||
|
|
|
||
|
|
# gnulib modules used by this package.
|
||
|
|
# mbswidth is used by gnulib-fix-width.diff's changes to argp rather than
|