Patch title: Release 94 bulk changes
Abstract:
File: /pliant/language/os/linux.pli
Key:
    Removed line
    Added line
   
# Copyright  Hubert Tonneau  hubert.tonneau@pliant.cx
#
# This program is free software; you can redistribute it and
# modify it under the terms of the GNU General Public Licens
# as published by the Free Software Foundation.
#
# This program is distributed in the hope that it will be us
# but WITHOUT ANY WARRANTY; without even the implied warrant
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See 
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public 
# version 2 along with this program; if not, write to the Fr
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 


# Copyright  Hubert Tonneau  hubert.tonneau@pliant.cx
#
# This program is free software; you can redistribute it and
# modify it under the terms of the GNU General Public Licens
# as published by the Free Software Foundation.
#
# This program is distributed in the hope that it will be us
# but WITHOUT ANY WARRANTY; without even the implied warrant
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See 
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public 
# version 2 along with this program; if not, write to the Fr
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 


constant yield_works true


function fake_utimes filename tv -> err
  arg Address filename tv ; arg Int err
  kernel_function 271


constant yield_works (fake_utimes null null)<>(-38) # Linux 2.6 or better


#-----------------------------------------------------------
#  processes


#-----------------------------------------------------------
#  processes


function os_getuid -> id
  arg Int id
  kernel_function 24

function os_setgid id -> err
  arg Int id err
  kernel_function 46

function os_setgid id -> err
  arg Int id err
  kernel_function 46

function os_getgid -> id
  arg Int id
  kernel_function 47

function os_exit retcode
  arg Int retcode
  kernel_function 1

function os_exit retcode
  arg Int retcode
  kernel_function 1

export os_clone os_execve os_getpid os_waitpid os_setsid os_
export os_clone os_execve os_getpid os_waitpid os_setsid os_setuid os_getuid os_setgid os_getgid os_exit



public
  constant os_libc_filename libc_filename
  constant os_zlib_filename zlib_filename



public
  constant os_libc_filename libc_filename
  constant os_zlib_filename zlib_filename