mark_rebuild("Does not exist");
else if(source.get_mtime()>mtime || source.get_size()!=size)
mark_rebuild(source.get_name()+" has changed");
- else if(source.get_rebuild())
+ else if(source.needs_rebuild())
mark_rebuild(source.get_name()+" needs rebuilding");
}