if (!DEBUG)
                        clean_workdir(work_dir);


git-svn-id: http://hustoj.googlecode.com/svn@2126 19ab8b60-bd6c-11dd-baed-41e496641fac