From 8984e91e89191a5092a0d4ad028ebf0bb0f69f9d Mon Sep 17 00:00:00 2001
From: Kim Hagen <kim.sidney@gmail.com>
Date: Fri, 3 May 2019 15:49:21 +0200
Subject: Revert "use bash as the shell for make"

This reverts commit 01fd8dfdec8278e63f43502da44b4e7f8d0bf9e5.
---
 Makefile | 1 -
 1 file changed, 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 534077b4..628574e2 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,3 @@
-SHELL := /bin/bash
 build_dir := build
 
 .PHONY: all
-- 
cgit v1.2.3