X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fxstrtod;h=616336534757813efddcdb82b8f8037bdf06a975;hb=7170ee077cc44186a70cb264ceb8352a1349e05b;hp=75399b526860ff9f02ed94cf9c352a3e2c2a1a06;hpb=5143f4e91f44130093914be7cf05873c7d8a4369;p=pspp

diff --git a/modules/xstrtod b/modules/xstrtod
index 75399b5268..6163365347 100644
--- a/modules/xstrtod
+++ b/modules/xstrtod
@@ -7,12 +7,13 @@ lib/xstrtod.c
 m4/xstrtod.m4
 
 Depends-on:
+stdbool
 
 configure.ac:
 gl_XSTRTOD
 
 Makefile.am:
-lib_SOURCES += xstrtod.h xstrtod.c
+lib_SOURCES += xstrtod.c
 
 Include:
 "xstrtod.h"
@@ -22,4 +23,3 @@ GPL
 
 Maintainer:
 Jim Meyering
-