mirror of
https://src.fedoraproject.org/rpms/grub2.git
synced 2024-12-01 00:48:18 +00:00
23 lines
619 B
Diff
23 lines
619 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] 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 3619458e85f..e68e9da843d 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@
|