From b77318e2d7eb99149d1e762b5e79ff5a3ad52b47 Mon Sep 17 00:00:00 2001
From: Tomas Gavenciak <gavento@ucw.cz>
Date: Thu, 1 Oct 2015 21:44:50 +0200
Subject: [PATCH] Fix Makefile/install glitch

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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