*/
#ifndef lint
-static char rcsid[] = "$Id: sys-svr4.c,v 1.12 1996/08/28 06:42:47 paulus Exp $";
+static char rcsid[] = "$Id: sys-svr4.c,v 1.14 1996/09/26 06:23:50 paulus Exp $";
#endif
#include <limits.h>
#include <stdio.h>
#include <stddef.h>
#include <stdlib.h>
+#if defined(SNI) || defined(__USLC__)
+extern void *alloca(size_t);
+#else
#include <alloca.h>
+#endif
#include <ctype.h>
#include <errno.h>
#include <fcntl.h>