diff --git a/utils/niceabort.c b/utils/niceabort.c index 19a38736..fa0af3e7 100644 --- a/utils/niceabort.c +++ b/utils/niceabort.c @@ -28,6 +28,7 @@ static char rcsid[] __attribute__ ((unused)) = "$Header: /usr/cvsroot/magic-8.0/ #include /* for getpid(), sleep() */ #include #include /* for chmod() */ +#include #include "utils/magic.h" @@ -56,10 +57,6 @@ static char rcsid[] __attribute__ ((unused)) = "$Header: /usr/cvsroot/magic-8.0/ char AbortMessage[200]; bool AbortFatal = FALSE; -/* For lint */ -time_t time(); -char *ctime(); - void DumpCore() {