From ce0ebd72f17cea8d10dc59fad3a4bff5bb300602 Mon Sep 17 00:00:00 2001
From: Feeps <feepsmail@gmail.com>
Date: Mon, 17 May 2021 20:44:23 +0200
Subject: [PATCH] Use bash in boostrap.sh to make pushd/popd work

---
 bootstrap.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bootstrap.sh b/bootstrap.sh
index a23f01400..cd9ec37c2 100755
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 if ! command -v mage &> /dev/null
 then