aboutsummaryrefslogtreecommitdiffstats
path: root/misc
diff options
context:
space:
mode:
authorHenner Zeller <h.zeller@acm.org>2022-09-24 22:52:42 -0700
committerHenner Zeller <h.zeller@acm.org>2022-09-24 22:52:42 -0700
commitf09bf58b6e29ed88bac6f72434321e56cebdad0e (patch)
tree28ba0d5df2ff97fac37969841b8c2921a622dd8f /misc
parentfcd1be14225730147941aa78a85d0c30ccf1cf30 (diff)
downloadyosys-f09bf58b6e29ed88bac6f72434321e56cebdad0e.tar.gz
yosys-f09bf58b6e29ed88bac6f72434321e56cebdad0e.tar.bz2
yosys-f09bf58b6e29ed88bac6f72434321e56cebdad0e.zip
Fix hard-coded path to /bin/bash -> /usr/bin/env bash
On Posix systems, the path /bin/bash is not guaranteed to exist and it is more portable to use /usr/bin/env instead. Fixing this for yosys-config with is the most important for a functioning installation. Signed-off-by: Henner Zeller <h.zeller@acm.org>
Diffstat (limited to 'misc')
-rw-r--r--misc/yosys-config.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/misc/yosys-config.in b/misc/yosys-config.in
index a31ef38c2..f0f0f7552 100644
--- a/misc/yosys-config.in
+++ b/misc/yosys-config.in
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
help() {
{