diff options
| author | Micah Elizabeth Scott <micah@misc.name> | 2015-12-15 10:13:06 -0800 |
|---|---|---|
| committer | Micah Elizabeth Scott <micah@misc.name> | 2015-12-15 10:13:06 -0800 |
| commit | 93f6f68b6556da1816b0b795ff8500cd27806c11 (patch) | |
| tree | 900182f1135fdf514a125d5869669f406ec1c02d /manual | |
| parent | 494e5f24f939e3bae4230084ece432304a7ba73a (diff) | |
| download | yosys-93f6f68b6556da1816b0b795ff8500cd27806c11.tar.gz yosys-93f6f68b6556da1816b0b795ff8500cd27806c11.tar.bz2 yosys-93f6f68b6556da1816b0b795ff8500cd27806c11.zip | |
Remove nonportable "-r" option from xargs
On Linux, this avoids an empty "rm -f" call when there's nothing to clean. But it isn't portable, and it causes the build to fail on Mac OS. It doesn't seem to be harmful to remove this option entirely, and it's a step toward fixing the Mac build.
Diffstat (limited to 'manual')
| -rwxr-xr-x | manual/clean.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/clean.sh b/manual/clean.sh index f4a2ea83a..11c2e7bf2 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 -r rm -f,;" $f; done | bash -v +for f in $( find . -name .gitignore ); do sed -re "s,^,find ${f%.gitignore} -name ',; s,$,' | xargs rm -f,;" $f; done | bash -v |