blob: 694a1af69968ed23c17edf277ec928209e96bd3b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
#ifndef lint
static char rcsid[] = "$Id: xmalloc.c,v 1.2 1993/08/02 17:24:36 mycroft Exp $";
#endif /* not lint */
#include <stdio.h>
extern char *malloc ();
#ifndef NULL
#define NULL 0
#endif
void *
xmalloc (size)
unsigned size;
{
char *new_mem = malloc (size);
if (new_mem == NULL)
{
fprintf (stderr, "xmalloc: request for %u bytes failed.\n", size);
abort ();
}
return new_mem;
}
|