Added --builders option to specify the desired builders explicitly
tree8923ce6f47afa3c7dcb089685ae2c6ef005d0d71
-rwxr-xr-x 3226 0release
-rw-r--r-- 1239 0release.xml
-rw-r--r-- 26536 COPYING
-rw-r--r-- 1161 README
-rw-r--r-- 5055 compile.py
-rw-r--r-- 19848 release.py
-rw-r--r-- 5590 scm.py
-rw-r--r-- 2515 setup.py
-rw-r--r-- 6366 support.py
drwxr-xr-x - tests