Removed --local option and made this the default
tree3d2c72c4714bb8a00ad60f68a5254d3a9ace736b
-rwxr-xr-x 2738 0compile
-rw-r--r-- 4081 0compile.1
-rw-r--r-- 1600 0compile.xml
-rw-r--r-- 26536 COPYING
-rw-r--r-- 15083 autocompile.py
-rw-r--r-- 781 bugs.py
-rw-r--r-- 17165 build.py
-rw-r--r-- 394 clean.py
-rw-r--r-- 1596 copysrc.py
-rw-r--r-- 1311 gui.py
-rw-r--r-- 11909 gui_support.py
-rw-r--r-- 1262 include_deps.py
-rw-r--r-- 2060 publish.py
-rw-r--r-- 1975 setup.py
-rw-r--r-- 10096 support.py
drwxr-xr-x - tests