diff options
Diffstat (limited to 'usr.bin/make/nonints.h')
| -rw-r--r-- | usr.bin/make/nonints.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/usr.bin/make/nonints.h b/usr.bin/make/nonints.h index 1c56450dbc72a..4b8b21152b0e7 100644 --- a/usr.bin/make/nonints.h +++ b/usr.bin/make/nonints.h @@ -36,7 +36,7 @@ * SUCH DAMAGE. * * from: @(#)nonints.h 8.3 (Berkeley) 3/19/94 - * $Id$ + * $Id: nonints.h,v 1.6 1997/02/22 19:27:17 peter Exp $ */ /* arch.c */ @@ -73,6 +73,9 @@ int PrintAddr __P((ClientData, ClientData)); void Finish __P((int)); char *estrdup __P((const char *)); void *emalloc __P((size_t)); +/* efree(x) works when x==NULL. STDC behavior, may need some different + * definition for cross-builds on deficient systems */ +#define efree free void *erealloc __P((void *, size_t)); void enomem __P((void)); int eunlink __P((const char *)); |