mirror of
https://src.fedoraproject.org/rpms/grub2.git
synced 2024-11-28 15:46:53 +00:00
88d855728e
Resolves: rhbz#1484609 Get rid of the temporary extra efi packages hack. Signed-off-by: Peter Jones <pjones@redhat.com>
26 lines
635 B
Diff
26 lines
635 B
Diff
From 4341f82af0b61d3dfbe675670d4105dc759c0df3 Mon Sep 17 00:00:00 2001
|
|
From: Vladimir Serbinenko <phcoder@gmail.com>
|
|
Date: Mon, 23 Jan 2017 14:54:03 +0300
|
|
Subject: [PATCH 008/194] po: Use @SHELL@ rather than /bin/sh.
|
|
|
|
/bin/sh might not exist.
|
|
---
|
|
po/Makefile.in.in | 2 +-
|
|
1 file changed, 1 insertion(+), 1 deletion(-)
|
|
|
|
diff --git a/po/Makefile.in.in b/po/Makefile.in.in
|
|
index 3619458e8..e68e9da84 100644
|
|
--- a/po/Makefile.in.in
|
|
+++ b/po/Makefile.in.in
|
|
@@ -15,7 +15,7 @@ PACKAGE = @PACKAGE@
|
|
VERSION = @VERSION@
|
|
PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@
|
|
|
|
-SHELL = /bin/sh
|
|
+SHELL = @SHELL@
|
|
@SET_MAKE@
|
|
|
|
srcdir = @srcdir@
|
|
--
|
|
2.13.5
|
|
|