diff options
| -rw-r--r-- | debian/clean.sh | 18 |
1 files changed, 12 insertions, 6 deletions
diff --git a/debian/clean.sh b/debian/clean.sh index 3994c629..b16e1d4f 100644 --- a/debian/clean.sh +++ b/debian/clean.sh @@ -38,12 +38,18 @@ rm -vf documentation/ExceptionCodes.xml rm -vf documentation/manpage.links rm -vf documentation/manpage.refs -find . -name '*.o' | xargs --no-run-if-empty rm -find . -name '*.a' | xargs --no-run-if-empty rm -find . -name 'autogen_*' | xargs --no-run-if-empty rm -find . -name '_*' | xargs --no-run-if-empty rm -find . -name 'test-*.log' | xargs --no-run-if-empty rm -find . -name 'Makefile' | xargs --no-run-if-empty rm +find . -name '*.o' | xargs --no-run-if-empty rm -v +find . -name '*.a' | xargs --no-run-if-empty rm -v +find . -name '*.mpi' | xargs --no-run-if-empty rm -v +find . -name 'autogen_*' | xargs --no-run-if-empty rm -v +find . -name '_*' | xargs --no-run-if-empty rm -v +find . -name 'test-*.log' | xargs --no-run-if-empty rm -v +find . -name '*.plist' | xargs --no-run-if-empty rm -v + +find bin contrib distribution lib test -name 'Makefile' \ + | xargs --no-run-if-empty rm -v + +rm -vf Makefile # the test scripts do strange things here # (directories without write permissions) |