#endif /* not lint */
#ifndef lint
-static char sccsid[] = "@(#)dm.c 5.16 (Berkeley) 2/28/91";
+/*static char sccsid[] = "from: @(#)dm.c 5.16 (Berkeley) 2/28/91";*/
+static char rcsid[] = "$Id: dm.c,v 1.3 1993/08/01 18:55:03 mycroft Exp $";
#endif /* not lint */
#include <sys/param.h>
#include <nlist.h>
#include <stdio.h>
#include <ctype.h>
+#include <string.h>
#include "pathnames.h"
extern int errno;
play(args)
char **args;
{
- char pbuf[MAXPATHLEN], *strcpy(), *strerror();
+ char pbuf[MAXPATHLEN];
(void)strcpy(pbuf, _PATH_HIDE);
(void)strcpy(pbuf + sizeof(_PATH_HIDE) - 1, game);