+static char *sccsid = "@(#)update.c 4.2 (Berkeley) 10/15/80";
/*
* Update the file system every 30 seconds.
* For cache benefit, open certain system directories.
char *fillst[] = {
"/bin",
+ "/lib",
"/usr",
"/usr/bin",
+ "/usr/lib",
+ "/usr/ucb",
0,
};