Attempting to close the GUI's build window while a build is in progress now
tree1bdd1c1ede38ae55b992806e1e2362fa5776a5b8
-rwxr-xr-x 2575 0compile
-rw-r--r-- 1112 0compile.xml
-rw-r--r-- 26536 COPYING
-rw-r--r-- 5894 build.py
-rw-r--r-- 1499 copysrc.py
-rw-r--r-- 1853 gui.py
-rw-r--r-- 3552 gui_support.py
-rw-r--r-- 1441 publish.py
-rw-r--r-- 4854 setup.py
-rw-r--r-- 7014 support.py
drwxr-xr-x - tests