is_nonempty_file
int is_nonempty_file(const char *pathname);
if (!is_nonempty_file(infilename))
if (readcache && is_nonempty_file(cachename)) {
if (is_nonempty_file(path)) {
if (!p->objs && p->srcdir && is_nonempty_file(path))