From 953ac7c6891cb142ef75b8fe33429df70398f691 Mon Sep 17 00:00:00 2001 From: Thomas Karolski Date: Tue, 8 Mar 2022 19:24:36 +0000 Subject: [PATCH] Use /usr/bin/env instead of /bin/bash --- buildtools/prepare_python.sh | 2 +- buildtools/prepare_python2.sh | 2 +- buildtools/prepare_python3.sh | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/buildtools/prepare_python.sh b/buildtools/prepare_python.sh index 05b793d2..b3be736e 100755 --- a/buildtools/prepare_python.sh +++ b/buildtools/prepare_python.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e diff --git a/buildtools/prepare_python2.sh b/buildtools/prepare_python2.sh index 97e6f7a8..59e3acfd 100755 --- a/buildtools/prepare_python2.sh +++ b/buildtools/prepare_python2.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e diff --git a/buildtools/prepare_python3.sh b/buildtools/prepare_python3.sh index 8df3a3a9..a6a2c1c8 100755 --- a/buildtools/prepare_python3.sh +++ b/buildtools/prepare_python3.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e