From 88f8021d940576b41afe34df96e8f9533b1711e7 Mon Sep 17 00:00:00 2001
From: mprahl <mprahl@redhat.com>
Date: Fri, 10 May 2019 16:02:02 -0400
Subject: [PATCH] Add krb5-devel as a dependency in Vagrant to fix the
 installation of Python dependencies

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

diff --git a/Vagrantfile b/Vagrantfile
index 8e977baa..94611942 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -2,6 +2,7 @@
 # vi: set ft=ruby ts=2 sw=2 ai et:
 
 $script = <<SCRIPT
+    set -e
     grep -q '^127\.0\.0\.1 fedmsg-relay$' /etc/hosts || echo "127.0.0.1 fedmsg-relay" >> /etc/hosts
     echo "export MODULE_BUILD_SERVICE_DEVELOPER_ENV=1" > /etc/profile.d/module_build_service_developer_env.sh
     source /etc/profile.d/module_build_service_developer_env.sh
@@ -14,6 +15,7 @@ $script = <<SCRIPT
         gcc-c++ \
         git \
         koji \
+        krb5-devel \
         krb5-workstation \
         libffi-devel \
         mock-scm \
@@ -58,6 +60,7 @@ $script = <<SCRIPT
 SCRIPT
 
 $make_devenv = <<DEVENV
+  set -e
   env_dir=~/devenv
   pip=${env_dir}/bin/pip
   py=${env_dir}/bin/python