diff options
author | Philip Hands <phil@hands.com> | 2015-12-11 10:33:34 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-12-11 17:59:45 +0100 |
commit | 91570ea623257e5b14c1ca1326fbb367c4b658f9 (patch) | |
tree | 67a91c2e4db5e6ffc81e960f7b326666581ec971 /bin | |
parent | 2c5973ddce09deb670fca3896cd7f32cd912cb4b (diff) | |
download | jenkins.debian.net-91570ea623257e5b14c1ca1326fbb367c4b658f9.tar.xz |
workspace --> $WORKSPACE (how did that ever work before?)
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/d-i_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/d-i_build.sh b/bin/d-i_build.sh index 36c3a525..657173ae 100755 --- a/bin/d-i_build.sh +++ b/bin/d-i_build.sh @@ -14,7 +14,7 @@ clean_workspace() { cd $WORKSPACE cd .. rm -fv *.deb *.udeb *.dsc *_*.build *_*.changes *_*.tar.gz *_*.tar.bz2 *_*.tar.xz *_*.buildinfo - cd workspace + cd $WORKSPACE git clean -dfx git reset --hard # |