From be2b99a8f1c33e1cce109220cdca69a15c7538dc Mon Sep 17 00:00:00 2001
From: Jakub Jankiewicz <jcubic@onet.pl>
Date: Fri, 10 Nov 2023 19:06:45 +0100
Subject: [PATCH] change default shell in Makefile

---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile b/Makefile
index debed9b5b..95a95b877 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,5 @@
+SHELL=/bin/bash
+
 .PHONY: publish test coveralls lint zero coverage
 
 VERSION=1.0.0-beta.16