diff --git a/.ci/license-header.sh b/.ci/license-header.sh index d14d5adf42..2253a74638 100755 --- a/.ci/license-header.sh +++ b/.ci/license-header.sh @@ -1,4 +1,4 @@ -#!/bin/sh -e +#!/bin/bash -e HEADER="$(cat "$PWD/.ci/license/header.txt")"