From fb6a2356ea28cec3a31a50abcc010f32061d1702 Mon Sep 17 00:00:00 2001
From: Piotr Rak <piotr.rak@gmail.com>
Date: Wed, 3 Nov 2021 20:33:17 +0100
Subject: [PATCH] Allow running dockerbuild.sh from other shells than bash
 directly.

---
 dockerbuild.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dockerbuild.sh b/dockerbuild.sh
index acf77e9d..c9475564 100755
--- a/dockerbuild.sh
+++ b/dockerbuild.sh
@@ -1,3 +1,4 @@
+#!/usr/bin/env bash
 function cleanup {
     echo "Removing previous build artifacts"
     rm -rf build/ Firmware/autogen Firmware/build Firmware/.tup