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 /frontends | |
| 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 'frontends')
0 files changed, 0 insertions, 0 deletions