From: Jim Meyering <jim@meyering.net>
Date: Sun, 15 Jul 2001 15:42:38 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ebbcb4da0b214894e744d71cba1a100f4702e2f6;p=pspp

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

diff --git a/lib/ChangeLog b/lib/ChangeLog
index 1fdae5c318..d671392840 100644
--- a/lib/ChangeLog
+++ b/lib/ChangeLog
@@ -5,6 +5,7 @@
 	(io_functions): Define.
 	(unlocked-io.h): New rule.
 	(DISTCLEANFILES): Add unlocked-io.h.
+	(all-local): Depend on unlocked-io.h, to ensure it is created.
 
 	* unlocked-io.hin: New file