From: Jim Meyering <jim@meyering.net>
Date: Fri, 17 Dec 2004 08:13:00 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c256c05b5490b6ae1ff20c7c3cedc4554fa7a02c;p=pspp

*** empty log message ***
---

diff --git a/config/ChangeLog b/config/ChangeLog
index b1b2de24cd..4e86cb32ae 100644
--- a/config/ChangeLog
+++ b/config/ChangeLog
@@ -1,3 +1,9 @@
+2004-12-17  Jim Meyering  <jim@meyering.net>
+
+	* install-sh: Use `(exit N); exit N', not `(exit N); exit'.
+	Otherwise, install-sh could exit with improper exit status when
+	exiting via a trapped interrupt.  Thanks to a report from Bob Proulx.
+
 2004-11-12  Simon Josefsson  <jas@extundo.com>
 
 	* srclist.txt: Add strtok_r.c, glibc bought our changes, but a