From 089ec60326fba8e682063de2b85bacf6095ee932 Mon Sep 17 00:00:00 2001
From: Yuval Adam <yuv.adm@gmail.com>
Date: Wed, 29 May 2013 16:24:20 +0300
Subject: Remove deprecated build-gnuradio stuff

---
 Vagrantfile | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/Vagrantfile b/Vagrantfile
index 5c896de..ef51993 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -1,14 +1,6 @@
 # -*- mode: ruby -*-
 # vi: set ft=ruby :
 
-$gnu_radio_bootstrap = <<SCRIPT
-sudo apt-get update
-sudo apt-get upgrade
-sudo apt-get install build-essential git subversion
-wget http://www.sbrac.org/files/build-gnuradio && chmod a+x ./build-gnuradio && ./build-gnuradio
-echo "export PYTHONPATH=/usr/local/lib/python2.7/dist-packages" >> ~/.bashrc
-SCRIPT
-
 Vagrant.configure('2') do |config|
     config.vm.box = 'precise32'
     config.vm.box_url = 'http://files.vagrantup.com/precise32.box'
-- 
cgit v1.3.1