From e77cf002f04eca692d1a69fc5461e06ad283659f Mon Sep 17 00:00:00 2001
From: Stephen Finucane <sfinucan@redhat.com>
Date: Tue, 4 Jul 2017 11:54:38 +0100
Subject: tools: Remove dead script

This is no longer the recommended way to do things. Just remove it.

Change-Id: I2056169955b47e08993461012edb554d3311de40
---
 tools/with_venv.sh | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100755 tools/with_venv.sh

(limited to 'tools')

diff --git a/tools/with_venv.sh b/tools/with_venv.sh
deleted file mode 100755
index c8d2940f..00000000
--- a/tools/with_venv.sh
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/bash
-TOOLS=`dirname $0`
-VENV=$TOOLS/../.venv
-source $VENV/bin/activate && $@
-- 
cgit v1.2.1