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

diff --git a/modules/fprintftime b/modules/fprintftime
index 4333a31374..87598eff18 100644
--- a/modules/fprintftime
+++ b/modules/fprintftime
@@ -7,6 +7,7 @@ lib/fprintftime.c
 m4/fprintftime.m4
 
 Depends-on:
+ignore-value
 strftime
 
 configure.ac: