projects / grub.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: c2ea443)
po: Use @SHELL@ rather than /bin/sh.
authorVladimir Serbinenko <phcoder@gmail.com>
Mon, 23 Jan 2017 11:54:03 +0000 (14:54 +0300)
committerVladimir Serbinenko <phcoder@gmail.com>
Wed, 3 May 2017 10:46:48 +0000 (12:46 +0200)
/bin/sh might not exist.

po/Makefile.in.in patch | blob | history

diff --git a/po/Makefile.in.in b/po/Makefile.in.in
index 3619458..e68e9da 100644 (file)
--- 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@
GRUB2 development