diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-02-11 12:55:58 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-02-11 12:55:58 +0100 |
commit | 4bd2d47e45eb0354d0096d5310ccfe7a0dc3dbd0 (patch) | |
tree | 0be03f643d4362b54b2ff132522f170bc2ed2be6 /manual/clean.sh | |
parent | fb186e6299f9e26f0011c9623f10adcf8eadb304 (diff) | |
download | yosys-4bd2d47e45eb0354d0096d5310ccfe7a0dc3dbd0.tar.gz yosys-4bd2d47e45eb0354d0096d5310ccfe7a0dc3dbd0.tar.bz2 yosys-4bd2d47e45eb0354d0096d5310ccfe7a0dc3dbd0.zip |
Improved "make manual" and "make clean"
Diffstat (limited to 'manual/clean.sh')
-rwxr-xr-x | manual/clean.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/manual/clean.sh b/manual/clean.sh new file mode 100755 index 000000000..13554c01b --- /dev/null +++ b/manual/clean.sh @@ -0,0 +1,2 @@ +#!/bin/bash +for f in $( find -name .gitignore ); do sed -re "s,^,find ${f%.gitignore} -name ',; s,$,' | xargs -r rm -vf,;" $f; done | bash -v |