X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Ffprintftime;h=87598eff1856db3cd6ec9cbde43ab9231a57eb6f;hb=2ccbc9ef6bd41aedb53d8d89b5b453034a74212b;hp=0ae813ceaf95c182fa2c970a37d2b2780080e25c;hpb=901bc47c9a8db854db97bb28780352748020c81d;p=pspp

diff --git a/modules/fprintftime b/modules/fprintftime
index 0ae813ceaf..87598eff18 100644
--- a/modules/fprintftime
+++ b/modules/fprintftime
@@ -7,13 +7,13 @@ lib/fprintftime.c
 m4/fprintftime.m4
 
 Depends-on:
+ignore-value
 strftime
 
 configure.ac:
 gl_FPRINTFTIME
 
 Makefile.am:
-EXTRA_DIST += fprintftime.h
 
 Include:
 "fprintftime.h"