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 /frontends | |
| 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
Diffstat (limited to 'frontends')
0 files changed, 0 insertions, 0 deletions