diff options
Diffstat (limited to 'otherlibs/unix/unixsupport.c')
-rw-r--r-- | otherlibs/unix/unixsupport.c | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/otherlibs/unix/unixsupport.c b/otherlibs/unix/unixsupport.c index 9e07366d1..15364f371 100644 --- a/otherlibs/unix/unixsupport.c +++ b/otherlibs/unix/unixsupport.c @@ -278,15 +278,3 @@ void uerror(cmdname, cmdarg) unix_error(errno, cmdname, cmdarg); } -value unix_freeze_buffer(buf) - value buf; -{ - if (Is_young(buf)) { - Push_roots(r, 1); - r[0] = buf; - minor_collection(); - buf = r[0]; - Pop_roots(); - } - return buf; -} |