From 4c4549c822cca499e0815170c41587badb6b2a0f Mon Sep 17 00:00:00 2001
From: root <root@ceoi01.(none)>
Date: Mon, 29 Jun 2015 16:25:48 +0200
Subject: [PATCH] Makefile: Force SHELL to /bin/bash

We use a lot of bashisms in our make rules.
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 86f91d8..9adae40 100644
--- a/Makefile
+++ b/Makefile
@@ -2,6 +2,7 @@
 # (c) 2008--2012 Martin Mares <mj@ucw.cz>
 
 VERSION=2.0
+SHELL=/bin/bash
 
 # The default target
 all:: runtree programs datafiles configs
-- 
2.39.5