Index: patch-headers.sh ================================================================== --- patch-headers.sh +++ patch-headers.sh @@ -1,6 +1,6 @@ -#! /bin/bash +#! /usr/bin/env bash headers_dir="$1" cd "${headers_dir}" || exit 1