From 1337109946543cc9158feb285d68f3c75b60ee3f Mon Sep 17 00:00:00 2001 From: Dominique Orban Date: Wed, 5 Feb 2020 19:39:06 -0500 Subject: [PATCH] use /usr/bin/env bash instead of /bin/bash --- bin/helper_functions | 2 +- bin/install_optrove | 2 +- bin/select_arch | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/bin/helper_functions b/bin/helper_functions index a13a4ec..3108861 100644 --- a/bin/helper_functions +++ b/bin/helper_functions @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Simple helper functions yesno_default_no() { diff --git a/bin/install_optrove b/bin/install_optrove index e2c3b05..1452a78 100755 --- a/bin/install_optrove +++ b/bin/install_optrove @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # install_optrove (formerly install_optsuite) - # a general installer for GALAHAD/CUTEst/SIFDecode diff --git a/bin/select_arch b/bin/select_arch index 24ebcf8..4fe7822 100644 --- a/bin/select_arch +++ b/bin/select_arch @@ -1,4 +1,4 @@ -#!/bin/bash -vx +#!/usr/bin/env bash -vx # Build script for SIFDecode / CUTEst / GALAHAD # syntax: select_arch