diff options
Diffstat (limited to 'bin/d-i_manual.sh')
| -rwxr-xr-x | bin/d-i_manual.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/d-i_manual.sh b/bin/d-i_manual.sh index 1a4d18a3..2a899b2e 100755 --- a/bin/d-i_manual.sh +++ b/bin/d-i_manual.sh @@ -15,6 +15,7 @@ clean_workspace() { cd .. rm -fv *.deb *.udeb *.dsc *_*.build *_*.changes *_*.tar.gz *_*.tar.bz2 *_*.tar.xz *_*.buildinfo cd workspace + rm -rf html pdf # # git clone and pull is done by jenkins job # @@ -24,6 +25,7 @@ clean_workspace() { elif [ -f .svn ] ; then echo "svn status:" svn status + svn stat --no-ignore fi echo } |