projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2dab5e) | patch
don't use sed -i because it won't work on macos
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 3 Jun 2022 08:09:57 +0000 (01:09 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Tue, 7 Jun 2022 04:13:09 +0000 (21:13 -0700)
commita55c29d775d5470abbed6d88df8fc3fbea806ea1
tree10371e30f0a8fb03ebb645c06e3dd835d69e6605tree
parentb2dab5ee47ec2bbae4b1fd2feed57ea8d4ba73abcommit | diff
don't use sed -i because it won't work on macos

(cherry picked from commit 0b0123e00378fefb9efb0c586f6b8a1d33ca0063)
tests/various/.gitignore diff | blob | history
tests/various/smtlib2_module.sh diff | blob | history