Use a "bash" shell from PATH
In case of nix environment we may be using bash from non-standard path.
commitc21383552479f8d20b6b65964c6e3bfd5d104336
authorHarendra Kumar <harendra@composewell.com>
dateFri 23 Oct 2020, 09:00 (6 years ago)
parentc436e3c
bench.sh+1−1
@@ -1,4 +1,4 @@
1−#!/bin/bash
1+#!/usr/bin/env bash
22
33#------------------------------------------------------------------------------
44# Benchmark groups
bin/bench-exec-one.sh+1−1
@@ -1,4 +1,4 @@
1−#!/bin/bash
1+#!/usr/bin/env bash
22
33# Environment passed:
44# BENCH_EXEC_PATH: the benchmark executable