From: Piotr Esden-Tempski <piotr@esden.net>
Date: Wed, 1 Feb 2017 00:00:17 +0000 (-0800)
Subject: Use -E sed parameter instead of -r.
X-Git-Tag: yosys-0.8~517^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e3a12b57f571423979869b28c4b49f78abe6e2c4;p=yosys.git

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.
---

diff --git a/manual/clean.sh b/manual/clean.sh
index 11c2e7bf2..addc34ed1 100755
--- a/manual/clean.sh
+++ b/manual/clean.sh
@@ -1,2 +1,2 @@
 #!/bin/bash
-for f in $( find . -name .gitignore ); do sed -re "s,^,find ${f%.gitignore} -name ',; s,$,' | xargs rm -f,;" $f; done | bash -v
+for f in $( find . -name .gitignore ); do sed -Ee "s,^,find ${f%.gitignore} -name ',; s,$,' | xargs rm -f,;" $f; done | bash -v