diff --git a/Makefile b/Makefile index 4b1f6bf5..afe1221d 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,4 @@ -.PHONY: clean_env init_env clean_virtualenv install_packages clean install run all schema_seminar.pdf schema_all.pdf virtualenv +.PHONY: clean_env init_env clean_virtualenv install_packages clean install run all schema_seminar.pdf schema_all.pdf PYTHON=python2.7 VE_VER=13.1.2 LOCAL_PYTHON=bin/python @@ -35,7 +35,7 @@ ${LOCAL_PYTHON}: virtualenv virtualenv: curl -O https://pypi.python.org/packages/source/v/virtualenv/virtualenv-${VE_VER}.tar.gz tar xvfz virtualenv-${VE_VER}.tar.gz - mv virtualenv-${VE_VER} virtualenv + mv -T virtualenv-${VE_VER} virtualenv rm virtualenv-${VE_VER}.tar.gz # phony