projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5541b42) | patch
Use -E sed parameter instead of -r.
authorPiotr Esden-Tempski <piotr@esden.net>
Wed, 1 Feb 2017 00:00:17 +0000 (16:00 -0800)
committerPiotr Esden-Tempski <piotr@esden.net>
Sun, 5 Feb 2017 02:26:01 +0000 (18:26 -0800)
commite3a12b57f571423979869b28c4b49f78abe6e2c4
tree35415f5e063aff0f104c17e0976c9b53fc5170b5tree
parent5541b421590e9ab16eef899508bad53494258819commit | diff
Use -E sed parameter instead of -r.

BSD sed equivalent to -r parameter is -E and it is also supported in GNU
sed thus using -E results in support on both platforms.
manual/clean.sh diff | blob | history