Allow changing an existing environment.
tree7510ecdfa784ba9454483a894eda800b3dc07840
-rwxr-xr-x 2305 0compile
-rw-r--r-- 1684 0compile.xml
-rw-r--r-- 26536 COPYING
-rw-r--r-- 1446 build.py
-rw-r--r-- 207 copysrc.py
-rw-r--r-- 222 publish.py
-rw-r--r-- 3517 setup.py
-rw-r--r-- 1033 support.py