From 98b9001a7b64c25b692a5579233d2bfb62fb4226 Mon Sep 17 00:00:00 2001
From: Stephen Finucane <sfinucan@redhat.com>
Date: Wed, 4 Jan 2017 10:45:08 +0000
Subject: [PATCH] tools: Remove 'with_venv'

Nothing appears to use this any more. No point in keeping it around.

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

diff --git a/tools/with_venv.sh b/tools/with_venv.sh
deleted file mode 100755
index 94e05c127d..0000000000
--- a/tools/with_venv.sh
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/bash
-tools_path=${tools_path:-$(dirname $0)}
-venv_path=${venv_path:-${tools_path}}
-venv_dir=${venv_name:-/../.venv}
-TOOLS=${tools_path}
-VENV=${venv:-${venv_path}/${venv_dir}}
-source ${VENV}/bin/activate && "$@"