destroy vagrant box after build

MartinNowak · MartinNowak · commit 5cd1003752d3 · 2016-11-22T07:44:50.000+01:00
diff --git a/dist.sh b/dist.sh
@@ -19,3 +19,5 @@ ver=$(git describe)
 name=alertd-\${ver#v}-\$(uname -s | tr '[:upper:]' '[:lower:]')-\$(uname -m)
 tar --transform "s|^|\$name/|" -Jcf \$name.tar.xz alertd alertd.sample.json dist/
 EOF
+
+vagrant destroy -f
