diff options
| author | Peter Wemm <peter@FreeBSD.org> | 2001-01-29 15:26:35 +0000 |
|---|---|---|
| committer | Peter Wemm <peter@FreeBSD.org> | 2001-01-29 15:26:35 +0000 |
| commit | 2860fa873ecaa6444b9ef64e1b75f32d1ee12fcf (patch) | |
| tree | 65efeb4058b0b79c1fb574be4609bda37889b5b9 /usr.sbin/config/main.c | |
| parent | 109ba4608ba69371718cf9cf6527ee3886d04235 (diff) | |
| download | src-2860fa873ecaa6444b9ef64e1b75f32d1ee12fcf.tar.gz src-2860fa873ecaa6444b9ef64e1b75f32d1ee12fcf.zip | |
AARGH! This does not mix too well with the -o noatime mount option.
:-(
Notes
Notes:
svn path=/head/; revision=71804
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 520d4fa3d1ea..055e65b3a7c0 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 |