chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 299ed82) | patch
buildserver: make --clean destroy reliably
authorHans-Christoph Steiner <hans@eds.org>
Tue, 27 Sep 2016 06:26:33 +0000 (02:26 -0400)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 23 May 2017 18:04:08 +0000 (20:04 +0200)
commit988ac21e7fb7a0ae43ef267f913b3bb90d83ce55
tree99329aaa188bb1ddb1b07bad89f8e3418102326atree | snapshot
parent299ed82a8851eda49c9aeb2ca95fbe625bd073d5commit | diff
buildserver: make --clean destroy reliably

This prevents v.destroy() from running if Vagrantfile.yaml does not exist,
since that is required for vagrant to run: is the core config including the
name of the box, etc.  Otherwise, it would exit with an error.

This also does complete cleanup when using libvirt.
makebuildserver diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.