From 4487d6948f35311dd85d75adc61e5d85bfd693c4 Mon Sep 17 00:00:00 2001 From: Janos SUTO Date: Fri, 30 Mar 2018 08:25:45 +0200 Subject: [PATCH] make use bash instead of sh for top level Makefile Signed-off-by: Janos SUTO --- Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index 0c1d9e1d..7ea5ef91 100644 --- a/Makefile.in +++ b/Makefile.in @@ -120,7 +120,7 @@ key: dd if=/dev/urandom bs=56 count=1 of=piler.key postinstall: - @sh util/postinstall.sh $(RUNNING_USER) $(RUNNING_GROUP) $(sysconfdir) $(localstatedir) $(libexecdir) + @bash util/postinstall.sh $(RUNNING_USER) $(RUNNING_GROUP) $(sysconfdir) $(localstatedir) $(libexecdir)