Tee build output to build/build.log.
tree87bfe78c61090b30559588f2a71752c94205309f
-rwxr-xr-x 2575 0compile
-rw-r--r-- 1116 0compile.xml
-rw-r--r-- 26536 COPYING
-rw-r--r-- 6893 build.py
-rw-r--r-- 1499 copysrc.py
-rw-r--r-- 1329 gui.py
-rw-r--r-- 10501 gui_support.py
-rw-r--r-- 1477 publish.py
-rw-r--r-- 5074 setup.py
-rw-r--r-- 7638 support.py
drwxr-xr-x - tests