diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-04-22 08:29:45 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-04-22 08:29:45 -0700 |
| commit | 634b5e2d9fd8d2e7a40816cf117bb9e072619b69 (patch) | |
| tree | b97106fe2f1594620a26584afbaae1357d170484 /libs/minisat/00_PATCH_wasm.patch | |
| parent | ae115fa3aac9acf7534b3f7c08afaa1b86bfc4ad (diff) | |
| download | yosys-634b5e2d9fd8d2e7a40816cf117bb9e072619b69.tar.gz yosys-634b5e2d9fd8d2e7a40816cf117bb9e072619b69.tar.bz2 yosys-634b5e2d9fd8d2e7a40816cf117bb9e072619b69.zip | |
tests: use `yosys-config --datdir` instead of hard-coded
Diffstat (limited to 'libs/minisat/00_PATCH_wasm.patch')
0 files changed, 0 insertions, 0 deletions