From db5c0b210b0133d7cd58124c727dbc24480e2568 Mon Sep 17 00:00:00 2001 From: Jim Shaver Date: Tue, 23 Jun 2015 20:50:51 -0500 Subject: [PATCH] merged with upstream changes in dev --- dev | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/dev b/dev index f9fcb95e6..153aafd05 100755 --- a/dev +++ b/dev @@ -1,7 +1,8 @@ -#!/bin/sh +#!/bin/bash +set -e VENV=../venv.mitmproxy -virtualenv $VENV || { echo 'virtualenv is not installed. Exiting.' ; exit 1; } +python -m virtualenv $VENV || { echo 'virtualenv is not installed. Exiting.' ; exit 1; } source $VENV/bin/activate pip install --src .. -r requirements.txt