| … | |
… | |
| 62 | return TRUE; |
62 | return TRUE; |
| 63 | } |
63 | } |
| 64 | #endif |
64 | #endif |
| 65 | #endif |
65 | #endif |
| 66 | |
66 | |
| 67 | char * fptools_id = "$Id: fptools.c,v 1.3.2.2 2002/03/31 19:52:07 root Exp $"; |
67 | char * fptools_id = "$Id: fptools.c,v 1.3.2.3 2002/10/13 13:03:07 root Exp $"; |
| 68 | |
68 | |
| 69 | /* |
69 | /* |
| 70 | * some versions of free can't handle a NULL pointer properly |
70 | * some versions of free can't handle a NULL pointer properly |
| 71 | * (ANSI says, free ignores a NULL pointer, but some machines |
71 | * (ANSI says, free ignores a NULL pointer, but some machines |
| 72 | * prefer to SIGSEGV on it) |
72 | * prefer to SIGSEGV on it) |
