From 379378fbba8720adecd900e75e8712bf5c274880 Mon Sep 17 00:00:00 2001
From: Thomas Waldmann <tw@waldmann-edv.de>
Date: Sun, 18 Jun 2017 18:07:45 +0200
Subject: [PATCH] vagrant: add Debian 9 "stretch" 64bit

---
 Vagrantfile | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/Vagrantfile b/Vagrantfile
index 0c6704307..ef96e0ada 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -429,6 +429,17 @@ Vagrant.configure(2) do |config|
     b.vm.provision "run tests", :type => :shell, :privileged => false, :inline => run_tests("trusty64")
   end
 
+  config.vm.define "stretch64" do |b|
+    b.vm.box = "debian/stretch64"
+    b.vm.provider :virtualbox do |v|
+      v.memory = 1024 + $wmem
+    end
+    b.vm.provision "packages debianoid", :type => :shell, :inline => packages_debianoid
+    b.vm.provision "build env", :type => :shell, :privileged => false, :inline => build_sys_venv("stretch64")
+    b.vm.provision "install borg", :type => :shell, :privileged => false, :inline => install_borg(true)
+    b.vm.provision "run tests", :type => :shell, :privileged => false, :inline => run_tests("stretch64")
+  end
+
   config.vm.define "jessie64" do |b|
     b.vm.box = "debian/jessie64"
     b.vm.provider :virtualbox do |v|