chiark
/
gitweb
/
~ianmdlvl
/
fdroidserver.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
34cddd3
)
added some debug listings to jenkins makebuildserver script
author
Michael Pöhn
<michael.poehn@fsfe.org>
Wed, 8 Mar 2017 11:29:18 +0000
(12:29 +0100)
committer
Hans-Christoph Steiner
<hans@eds.org>
Tue, 23 May 2017 18:04:08 +0000
(20:04 +0200)
jenkins-build-makebuildserver
patch
|
blob
|
history
diff --git
a/jenkins-build-makebuildserver
b/jenkins-build-makebuildserver
index a2923ad48451ca10ac2766aaf4f8beb9b099240a..15363f1a83671f65ed75621b66b418213d63781d 100755
(executable)
--- a/
jenkins-build-makebuildserver
+++ b/
jenkins-build-makebuildserver
@@
-14,6
+14,8
@@
cleanup_all() {
set +e
echo "$(date -u) - cleanup in progress..."
ps auxww | grep -e VBox -e qemu
+ virsh --connect qemu:///system list --all
+ ls -hl /var/lib/libvirt/images
cd $WORKSPACE/buildserver
vagrant halt
sleep 5