diff --git a/precompiled/build.sh b/precompiled/build.sh index 68a709d44..df60dccf8 100755 --- a/precompiled/build.sh +++ b/precompiled/build.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash cd -- "$(dirname -- "${BASH_SOURCE[0]}")" &>/dev/null set -e -x