diff options
author | Henner Zeller <h.zeller@acm.org> | 2022-09-24 22:52:42 -0700 |
---|---|---|
committer | Henner Zeller <h.zeller@acm.org> | 2022-09-24 22:52:42 -0700 |
commit | f09bf58b6e29ed88bac6f72434321e56cebdad0e (patch) | |
tree | 28ba0d5df2ff97fac37969841b8c2921a622dd8f /misc | |
parent | fcd1be14225730147941aa78a85d0c30ccf1cf30 (diff) | |
download | yosys-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.in | 2 |
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() { { |