From 8ee61b88a53ff752fefc25618791aec681fadb66 Mon Sep 17 00:00:00 2001
From: vector-of-bool <vectorofbool@gmail.com>
Date: Sun, 15 Mar 2020 20:01:37 -0600
Subject: [PATCH] Shutdown vagrant after build

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 53d89708..b7f61a53 100644
--- a/Makefile
+++ b/Makefile
@@ -50,3 +50,4 @@ vagrant-freebsd-ci:
 			-T2 tools/freebsd-gcc-9.jsonc \
 		'
 	vagrant scp freebsd11:/vagrant/_build/dds _build/dds-freebsd-x64
+	vagrant halt