file_updated       53 scripts/recordmcount.c static int file_updated; /* flag to state file was changed */
file_updated       65 scripts/recordmcount.c 	file_updated = 0;
file_updated      104 scripts/recordmcount.c 	file_updated = 1;
file_updated      169 scripts/recordmcount.c 	file_updated = 0;
file_updated      320 scripts/recordmcount.c 	if (!file_updated)
file_updated      569 scripts/recordmcount.h 			file_updated = 0;