From ced7c444777bea3ec7808166dbb703629898d011 Mon Sep 17 00:00:00 2001 From: Krasiyan Nedelchev Date: Tue, 1 Feb 2022 01:24:26 +0100 Subject: [PATCH] add missing bash shebang in the build.sh script --- build.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/build.sh b/build.sh index 59d9221b6..da4b69dc2 100755 --- a/build.sh +++ b/build.sh @@ -1,3 +1,4 @@ +#!/usr/bin/env bash set -e if [[ $# == 0 ]]; then