diff options
| author | Johnny Sorocil <propaliidealist@gmail.com> | 2018-05-06 15:26:23 +0200 |
|---|---|---|
| committer | Johnny Sorocil <propaliidealist@gmail.com> | 2018-05-06 15:26:23 +0200 |
| commit | 0295213bec84683a72814bd53179fa57ee48fbbe (patch) | |
| tree | f544b6f42f5e49bb852fe7841287a1a166519a50 /passes/sat | |
| parent | 74f2787b10bbfdc5fc485715e8d9d8b04bbae094 (diff) | |
| download | yosys-0295213bec84683a72814bd53179fa57ee48fbbe.tar.gz yosys-0295213bec84683a72814bd53179fa57ee48fbbe.tar.bz2 yosys-0295213bec84683a72814bd53179fa57ee48fbbe.zip | |
autotest.sh: Change from /bin/bash to /usr/bin/env bash
This enables running tests on Unix systems which are not shipped with
bash installed in /bin/bash (eg *BSDs and Solaris).
Diffstat (limited to 'passes/sat')
0 files changed, 0 insertions, 0 deletions