From: Simon Josefsson Date: Mon, 2 May 2011 06:45:02 +0000 (+0200) Subject: exit: Remove module. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dffb59b475060aa67de0b661a4839f2984477529;p=pspp exit: Remove module. * NEWS: Document removal of 'exit'. * modules/exit: Remove file. --- diff --git a/ChangeLog b/ChangeLog index fba5f008bd..58b9dd0d99 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2011-05-02 Simon Josefsson + + * NEWS: Document removal of 'exit'. + * modules/exit: Remove file. + 2011-05-01 Bruno Haible Update DEPENDENCIES. diff --git a/NEWS b/NEWS index b693a33596..8674ed8827 100644 --- a/NEWS +++ b/NEWS @@ -12,6 +12,9 @@ User visible incompatible changes Date Modules Changes +2011-05-02 exit The module is removed. It was deprecated + on 2010-03-05. Use 'stdlib' directly instead. + 2011-04-27 mgetgroups The 'xgetgroups' function has been split into a new 'xgetgroups' module. diff --git a/modules/exit b/modules/exit deleted file mode 100644 index 18899f28c3..0000000000 --- a/modules/exit +++ /dev/null @@ -1,26 +0,0 @@ -Description: -exit() function: program termination. - -Status: -obsolete - -Notice: -This module is obsolete. It will be removed on 2011-01-01. Use 'stdlib'. - -Files: - -Depends-on: -stdlib - -configure.ac: - -Makefile.am: - -Include: - - -License: -LGPLv2+ - -Maintainer: -Bruno Haible