bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PATCH] parse-datetime: remove extraneous generated source file


From: Pádraig Brady
Subject: [PATCH] parse-datetime: remove extraneous generated source file
Date: Wed, 8 Mar 2017 20:13:20 -0800

* modules/parse-datetime: Remove the tmp generated source.
---
 modules/parse-datetime | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modules/parse-datetime b/modules/parse-datetime
index 5d10137..1b92db0 100644
--- a/modules/parse-datetime
+++ b/modules/parse-datetime
@@ -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
-- 
2.9.3




reply via email to

[Prev in Thread] Current Thread [Next in Thread]