X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fexitfail;h=0dd3ec6897fa91b90a4fe382dbe6a53c32538f3d;hb=3e5de6c5160e5d0263c789120e43d52f0d5fc819;hp=05c61d788cd34325ee27b4e7983b95cb3da6bdf2;hpb=5143f4e91f44130093914be7cf05873c7d8a4369;p=pspp

diff --git a/modules/exitfail b/modules/exitfail
index 05c61d788c..0dd3ec6897 100644
--- a/modules/exitfail
+++ b/modules/exitfail
@@ -4,23 +4,20 @@ Set exit status for fatal signal.
 Files:
 lib/exitfail.h
 lib/exitfail.c
-m4/exitfail.m4
 
 Depends-on:
-exit
+stdlib
 
 configure.ac:
-gl_EXITFAIL
 
 Makefile.am:
-lib_SOURCES += exitfail.h exitfail.c
+lib_SOURCES += exitfail.c
 
 Include:
 "exitfail.h"
 
 License:
-GPL
+LGPLv2+
 
 Maintainer:
 Paul Eggert
-