From c2ca83644e550d99f29b353db3800f64205538cd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C8=98tefan=20Talpalaru?= <stefantalpalaru@yahoo.com>
Date: Wed, 21 Aug 2019 17:43:00 +0200
Subject: [PATCH] env.sh needs Bash

---
 scripts/env.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/env.sh b/scripts/env.sh
index c6f17e6..b6e5b38 100755
--- a/scripts/env.sh
+++ b/scripts/env.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # Copyright (c) 2018-2019 Status Research & Development GmbH. Licensed under
 # either of: