X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fstat-time;h=13dc911cbd4f0b3e8e7e5dfeeefa9bfc758cc045;hb=3ac9552429c5a500717e1d3d129c32f7d0ea37a3;hp=666f4ed0477046554fd159a8ffd83e4d5ff23177;hpb=4bc8b69ccf12c40ba0eec577b18e24bdd3cbc945;p=pspp diff --git a/modules/stat-time b/modules/stat-time index 666f4ed047..13dc911cbd 100644 --- a/modules/stat-time +++ b/modules/stat-time @@ -6,7 +6,7 @@ lib/stat-time.h m4/stat-time.m4 Depends-on: -timespec +time configure.ac: gl_STAT_TIME