From daad6e61f8e20fed759925f2378068aa29303746 Mon Sep 17 00:00:00 2001 From: Manuel Date: Mon, 29 Nov 2010 23:59:27 +0000 Subject: [PATCH] Better cleanning --- clean-workdir.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/clean-workdir.sh b/clean-workdir.sh index 7588ad220..f461956c1 100755 --- a/clean-workdir.sh +++ b/clean-workdir.sh @@ -40,7 +40,7 @@ cleanup_src() do status_start "${module}" pushd $module &>/dev/null - rm -rf pkg src dbg hdr &>/dev/null + rm -rf pkg src dbg hdr log *.pkg.* &>/dev/null popd &>/dev/null status_done done