X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fsys_time_.h;h=a377c65311884b38286dd970e4ad2fca4f32c901;hb=e376fca6b969fd70ca281a7b74b8c3d35636ea0f;hp=96291c9615282b00cc5b132c288e6e09f12bead5;hpb=c1c1c8b6b3b2abf80f34a9191823448ef5f195b9;p=pspp

diff --git a/lib/sys_time_.h b/lib/sys_time_.h
index 96291c9615..a377c65311 100644
--- a/lib/sys_time_.h
+++ b/lib/sys_time_.h
@@ -35,7 +35,7 @@ struct timeval
 };
 #endif
 
-#if ! @HAVE_GETTIMEOFDAY_POSIX_SIGNATURE@ || @GETTIMEOFDAY_CLOBBERS_LOCALTIME@
+#if @GETTIMEOFDAY_REPLACEMENT@
 # undef gettimeofday
 # define gettimeofday rpl_gettimeofday
 int gettimeofday (struct timeval *restrict, void *restrict);