id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,difficulty 56,"""spotless"" target doesn't remove all generated files.",sjamaan,felix winkelmann,"{{{setup-download.c}}}, {{{setup-download.so}}}, {{{setup-api.c}}}, {{{setup-api.so}}} and {{{chicken-boot}}} are not removed when running ""make spotless"". Also, anything in {{{benchmarks}}} and {{{tests}}} is not cleaned up.",defect,closed,major,,build system,4.0.x,fixed,"cleanup, spotless, generated files",,