Rename GETTIMEOFDAY_REPLACEMENT to REPLACE_GETTIMEOFDAY.

[gnulib.git] / modules / sys_time

diff --git a/modules/sys_time b/modules/sys_time
index ffa714d..0edf4f9 100644 (file)
--- a/modules/sys_time
+++ b/modules/sys_time
@@ -23,7 +23,7 @@ sys/time.h: sys_time_.h
        { echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */'; \
          sed -e 's/@''HAVE_SYS_TIME_H''@/$(HAVE_SYS_TIME_H)/g' \
              -e 's|@''ABSOLUTE_SYS_TIME_H''@|$(ABSOLUTE_SYS_TIME_H)|g' \
-             -e 's/@''GETTIMEOFDAY_REPLACEMENT''@/$(GETTIMEOFDAY_REPLACEMENT)/g' \
+             -e 's/@''REPLACE_GETTIMEOFDAY''@/$(REPLACE_GETTIMEOFDAY)/g' \
              -e 's/@''HAVE_STRUCT_TIMEVAL''@/$(HAVE_STRUCT_TIMEVAL)/g' \
              < $(srcdir)/sys_time_.h; \
        } > $@-t