Give the user the --force and --clean option from the GUI too
treea8d803eaf0651c82d2eb10fabbb046e80ad1e82a
-rwxr-xr-x 2718 0compile
-rw-r--r-- 3320 0compile.1
-rw-r--r-- 1600 0compile.xml
-rw-r--r-- 26536 COPYING
-rw-r--r-- 781 bugs.py
-rw-r--r-- 12083 build.py
-rw-r--r-- 1596 copysrc.py
-rw-r--r-- 1348 gui.py
-rw-r--r-- 11683 gui_support.py
-rw-r--r-- 1262 include_deps.py
-rw-r--r-- 1655 publish.py
-rw-r--r-- 1975 setup.py
-rw-r--r-- 9728 support.py
drwxr-xr-x - tests