From 44cb9357a2f5135d62380ecfae9b9c540b43d9db Mon Sep 17 00:00:00 2001
From: Viraj Chitnis <chitnisviraj@gmail.com>
Date: Sat, 16 Feb 2019 14:23:31 +0000
Subject: [PATCH] Automatically build pafish during Vagrant initialization

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

diff --git a/Vagrantfile b/Vagrantfile
index 64bd266..4918ba9 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -66,5 +66,7 @@ Vagrant.configure("2") do |config|
   config.vm.provision "shell", inline: <<-SHELL
     apt-get update
     apt-get install -y make mingw-w64
+    cd /vagrant/pafish
+    make -f Makefile.linux
   SHELL
 end