diff --git a/.github/update_own_version.sh b/.github/update_own_version.sh index 0a9022c389..e78850351a 100755 --- a/.github/update_own_version.sh +++ b/.github/update_own_version.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e