ref: fe519fb71154e67252f085fff5e016328c83983a
parent: 9487b9fff85de0e0af948db417a20f9180aa009e
author: Ori Bernstein <ori@eigenstate.org>
date: Mon Jan 5 17:32:58 EST 2015
Don't delete generated source.
For things like ./configure, they may be run manually by
users. If you want them regenerated, just run 'mbld gen'.
Not sure if this is the right decision.
--- a/clean.myr
+++ b/clean.myr
@@ -63,9 +63,7 @@
;;
mchammer_files = std.mkht(std.strhash, std.streq)
for l in leaves
- if !std.hthas(p.gensrc, l)
- std.htput(mchammer_files, l, true)
- ;;
+ std.htput(mchammer_files, l, true)
;;
keys = std.htkeys(dg.deps)