diff options
author | Tails developers <amnesia@boum.org> | 2012-09-07 12:05:49 +0200 |
---|---|---|
committer | Tails developers <amnesia@boum.org> | 2012-09-07 17:47:25 +0200 |
commit | 115a83d35b1e113f94a2685f3d916a7f809fb6ae (patch) | |
tree | fdd766f4435c91da0346b9e023dd24fe39e5171b /Rakefile | |
parent | 3b107b344cacb58b447646cff547278a32f7ee99 (diff) |
vagrant: revise build script's cleanup procedure.
Since there can only be one trap, the previous way is less flexible
if there are many different possibilities of cleanup scenarios.
Diffstat (limited to 'Rakefile')
0 files changed, 0 insertions, 0 deletions