From 9e4ee6ce82dc66adea87d4482532347f85dfce68 Mon Sep 17 00:00:00 2001 From: Jim Meyering Date: Thu, 6 Nov 2003 06:08:07 +0000 Subject: New file. From gnulib. --- lib/free.c | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 lib/free.c (limited to 'lib/free.c') diff --git a/lib/free.c b/lib/free.c new file mode 100644 index 000000000..0fc9d8ba5 --- /dev/null +++ b/lib/free.c @@ -0,0 +1,33 @@ +/* Work around incompatibility on older systems where free (NULL) fails. + + Copyright (C) 2003 Free Software Foundation, Inc. + + This program is free software; you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation; either version 2, or (at your option) + any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software Foundation, + Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ + +/* written by Paul Eggert */ + +#if HAVE_CONFIG_H +# include +#endif +#undef free + +#include + +void +rpl_free (void *p) +{ + if (p) + free (p); +} -- cgit v1.2.3-54-g00ecf