Clean .tox when setup.py changes

diff --git a/Makefile_pgwui.mk b/Makefile_pgwui.mk
index fd0b3e5b47b376cfb9d9c67d2bd5bf0ff47f05f5..f0604ed0f65a724237cdbd76bc98231ff72570eb 100644 (file)
--- a/Makefile_pgwui.mk
+++ b/Makefile_pgwui.mk
@@ -178,7 +178,7 @@ update_testenv: devel/testenv
 
 # Re-create development environment when setup.py changes
 devel: setup.py
-       rm -rf devel
+       rm -rf devel ${TOX_STUFF}
        mkdir devel
 
 # virtualenv for development