diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-09-26 07:53:32 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-26 07:53:32 +0200 |
| commit | b2ddd0d42d8bc6d7dc770e0a2077e6740298708f (patch) | |
| tree | 28ba0d5df2ff97fac37969841b8c2921a622dd8f | |
| parent | fcd1be14225730147941aa78a85d0c30ccf1cf30 (diff) | |
| parent | f09bf58b6e29ed88bac6f72434321e56cebdad0e (diff) | |
| download | yosys-b2ddd0d42d8bc6d7dc770e0a2077e6740298708f.tar.gz yosys-b2ddd0d42d8bc6d7dc770e0a2077e6740298708f.tar.bz2 yosys-b2ddd0d42d8bc6d7dc770e0a2077e6740298708f.zip | |
Merge pull request #3489 from hzeller/20220924-fix-hardcoded-bin-bash
Fix hard-coded path to /bin/bash -> /usr/bin/env bash
| -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() { { |