diff --git a/build_odin.sh b/build_odin.sh index aef3f2836..b00d33323 100755 --- a/build_odin.sh +++ b/build_odin.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -eu GIT_SHA=$(git rev-parse --short HEAD)