diff options
Diffstat (limited to '')
-rw-r--r-- | gc/real_malloc.c | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/gc/real_malloc.c b/gc/real_malloc.c deleted file mode 100644 index dece9fd..0000000 --- a/gc/real_malloc.c +++ /dev/null @@ -1,36 +0,0 @@ -/* - * Copyright 1988, 1989 Hans-J. Boehm, Alan J. Demers - * Copyright (c) 1991-1994 by Xerox Corporation. All rights reserved. - * - * THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED - * OR IMPLIED. ANY USE IS AT YOUR OWN RISK. - * - * Permission is hereby granted to use or copy this program - * for any purpose, provided the above notices are retained on all copies. - * Permission to modify the code and to distribute modified code is granted, - * provided the above notices are retained, and a notice that the code was - * modified is included with the above copyright notice. - */ -/* Boehm, May 19, 1994 2:04 pm PDT */ - - -# ifdef PCR -/* - * This definition should go in its own file that includes no other - * header files. Otherwise, we risk not getting the underlying system - * malloc. - */ -# define PCR_NO_RENAME -# include <stdlib.h> - -# ifdef __STDC__ - char * real_malloc(size_t size) -# else - char * real_malloc() - int size; -# endif -{ - return((char *)malloc(size)); -} -#endif /* PCR */ - |