Make sure fj
's build.rs
doesn't run too often
#1277
Merged
fj
's build.rs
doesn't run too often
#1277