From: Paul Eggert <eggert@cs.ucla.edu>
Date: Fri, 6 Aug 2004 22:57:52 +0000 (+0000)
Subject: Add "yesno.h" as an include.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5150b9aa351cdb440d676969e01c503fe99d16ce;p=pspp

Add "yesno.h" as an include.
---

diff --git a/modules/yesno b/modules/yesno
index 10b49e2239..ab0c3e3266 100644
--- a/modules/yesno
+++ b/modules/yesno
@@ -18,6 +18,7 @@ Makefile.am:
 lib_SOURCES += yesno.c yesno.h
 
 Include:
+"yesno.h"
 
 Maintainer:
 Jim Meyering