Aug. 19, 2014
7:52 p.m.
--- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index e4e2742..4703cba 100644 --- a/Makefile +++ b/Makefile @@ -568,6 +568,7 @@ check_time_t_alternatives: make clean_misc && \ make TOPDIR=`pwd`/tzpublic/$$type \ CFLAGS='$(CFLAGS) -Dtime_tz='"'$$type'" \ + REDO='$(REDO)' \ install && \ diff -qr tzpublic/int64_t/etc/zoneinfo tzpublic/$$type/etc/zoneinfo && \ case $$type in \ -- 1.9.1