]> Savannah Git Hosting - gnulib.git/commitdiff
parse-datetime: remove extraneous generated source file
authorPádraig Brady <P@draigBrady.com>
Thu, 9 Mar 2017 03:44:46 +0000 (19:44 -0800)
committerPádraig Brady <P@draigBrady.com>
Thu, 9 Mar 2017 04:15:15 +0000 (20:15 -0800)
* modules/parse-datetime: Remove the tmp generated source.

modules/parse-datetime

index 5d1013742564a2b7f6ba1d4861854aff81a1b3f1..1b92db0f7dd12a3a4938b0fd2e9e720ca491b10a 100644 (file)
@@ -40,6 +40,7 @@ parse-datetime.c: parse-datetime.y
                                      -- $(YACC) $(YFLAGS) $(AM_YFLAGS) && \
        sed -e 's|".*/parse-datetime.y"|"parse-datetime.y"|' \
         < parse-datetime.c > parse-datetime.c-t && \
+       rm -f parse-datetime.c && \
        mv parse-datetime.c-t $(srcdir)/parse-datetime.c
 lib_SOURCES += parse-datetime.y
 BUILT_SOURCES += parse-datetime.c