env.sh needs Bash

This commit is contained in:
Ștefan Talpalaru 2019-08-21 17:43:00 +02:00
parent dafd9342e0
commit c2ca83644e
No known key found for this signature in database
GPG Key ID: CBF7934204F1B6F9
1 changed files with 1 additions and 1 deletions

View File

@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
# Copyright (c) 2018-2019 Status Research & Development GmbH. Licensed under
# either of: