# HG changeset patch
# User Jeff Hammel <jhammel@mozilla.com>
# Date 1294768148 28800
# Node ID 503d38bdee9051129f818210b48407706449b9ea
# Parent  04e41ee436c314a49df9a544ada5804dba661411
use virtualenv from the net if its not available locally

diff -r 04e41ee436c3 -r 503d38bdee90 INSTALL.sh
--- a/INSTALL.sh	Tue Jan 11 09:32:36 2011 -0800
+++ b/INSTALL.sh	Tue Jan 11 09:49:08 2011 -0800
@@ -10,7 +10,12 @@
     DEST=$1
 fi
 
-virtualenv ${DEST}
+if which virtualenv
+then
+    virtualenv ${DEST}
+else
+    curl https://bitbucket.org/ianb/virtualenv/raw/tip/virtualenv.py | python - ${DEST}
+fi
 cd autobot
 . bin/activate # linux only
 mkdir src