diff options
| author | Jacob Lifshay <programmerjake@gmail.com> | 2022-06-03 01:09:57 -0700 |
|---|---|---|
| committer | Jacob Lifshay <programmerjake@gmail.com> | 2022-06-03 01:09:57 -0700 |
| commit | 0b0123e00378fefb9efb0c586f6b8a1d33ca0063 (patch) | |
| tree | c4544f3f4f561fbd85ffa57583e352df3a0865d2 /tests/various/.gitignore | |
| parent | b7c19b1c8896ed7b4114e64dc9478fc0041e9ec1 (diff) | |
| download | yosys-0b0123e00378fefb9efb0c586f6b8a1d33ca0063.tar.gz yosys-0b0123e00378fefb9efb0c586f6b8a1d33ca0063.tar.bz2 yosys-0b0123e00378fefb9efb0c586f6b8a1d33ca0063.zip | |
don't use sed -i because it won't work on macos
Diffstat (limited to 'tests/various/.gitignore')
| -rw-r--r-- | tests/various/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/various/.gitignore b/tests/various/.gitignore index da78b6ec5..83e634820 100644 --- a/tests/various/.gitignore +++ b/tests/various/.gitignore @@ -7,3 +7,4 @@ /plugin.so.dSYM /temp /smtlib2_module.smt2 +/smtlib2_module-filtered.smt2 |