X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fexit;h=18899f28c3c9f30755d2bef42b49a278fde44922;hb=1bce9152c7fa70ba4408e43c758900df25f9a775;hp=2ba366325c54a3f90b78ff7aa645a00a61202139;hpb=5143f4e91f44130093914be7cf05873c7d8a4369;p=pspp

diff --git a/modules/exit b/modules/exit
index 2ba366325c..18899f28c3 100644
--- a/modules/exit
+++ b/modules/exit
@@ -1,22 +1,26 @@
 Description:
 exit() function: program termination.
 
+Status:
+obsolete
+
+Notice:
+This module is obsolete. It will be removed on 2011-01-01.  Use 'stdlib'.
+
 Files:
-lib/exit.h
 
 Depends-on:
+stdlib
 
 configure.ac:
 
 Makefile.am:
-lib_SOURCES += exit.h
 
 Include:
-"exit.h"
+<stdlib.h>
 
 License:
-GPL
+LGPLv2+
 
 Maintainer:
 Bruno Haible
-