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