diff options
author | peter <peter@FreeBSD.org> | 2001-01-29 15:26:35 +0000 |
---|---|---|
committer | peter <peter@FreeBSD.org> | 2001-01-29 15:26:35 +0000 |
commit | 8d46c07886a875dfd7c633ec6d246639fc94eb9c (patch) | |
tree | c004e954c3508f3246088dc7d1fa808a97754905 /usr.sbin/config/main.c | |
parent | 66e581ea9f40e2da31b74dfa8ca4741acc8b9a15 (diff) | |
download | FreeBSD-src-8d46c07886a875dfd7c633ec6d246639fc94eb9c.zip FreeBSD-src-8d46c07886a875dfd7c633ec6d246639fc94eb9c.tar.gz |
AARGH! This does not mix too well with the -o noatime mount option.
:-(
Diffstat (limited to 'usr.sbin/config/main.c')
-rw-r--r-- | usr.sbin/config/main.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/usr.sbin/config/main.c b/usr.sbin/config/main.c index 520d4fa..055e65b 100644 --- a/usr.sbin/config/main.c +++ b/usr.sbin/config/main.c @@ -79,7 +79,9 @@ int profiling; static void configfile(void); static void get_srcdir(void); static void usage(void); +#if 0 static void cleanheaders(char *, time_t); +#endif /* * Config builds a set of files for building a UNIX @@ -176,7 +178,9 @@ main(int argc, char **argv) makefile(); /* build Makefile */ headers(); /* make a lot of .h files */ configfile(); /* put config file into kernel*/ +#if 0 cleanheaders(p, starttime); +#endif printf("Kernel build directory is %s\n", p); exit(0); } @@ -416,6 +420,7 @@ moveifchanged(const char *from_name, const char *to_name) } } +#if 0 static void cleanheaders(char *p, time_t starttime) { @@ -465,4 +470,4 @@ cleanheaders(char *p, time_t starttime) (void)closedir(dirp); } - +#endif |