diff --git a/bin/utils/export_docs_generators.sh b/bin/utils/export_docs_generators.sh index a456f275f8f..6417629c7d8 100755 --- a/bin/utils/export_docs_generators.sh +++ b/bin/utils/export_docs_generators.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash SCRIPT="$0" echo "# START SCRIPT: ${SCRIPT}" @@ -17,4 +17,4 @@ do ((i=i%N)); ((i++==0)) && wait ./bin/utils/export_generator.sh ${GENERATOR} & done -) \ No newline at end of file +) diff --git a/bin/utils/export_generator.sh b/bin/utils/export_generator.sh index a566522a90b..8a54d77555a 100755 --- a/bin/utils/export_generator.sh +++ b/bin/utils/export_generator.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash SCRIPT="$0"