From 834d4027b0369ba198376e1cf50ea39b7a743ef9 Mon Sep 17 00:00:00 2001 From: Robert Buchholz Date: Wed, 20 Aug 2008 21:14:35 +0200 Subject: Do not create INDEX file if it already exists and distfile was not changed. --- distfiles-indexer.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/distfiles-indexer.py b/distfiles-indexer.py index b6fb7aa..5bbc060 100755 --- a/distfiles-indexer.py +++ b/distfiles-indexer.py @@ -38,6 +38,9 @@ class ArchiveInfo: def write_info(self, outfiledir): outfilename = "%s.%s.INDEX" % (self.basename, self.mtime) + if os.path.exists(outfilename): + pass + self.out_fd = open(outfilename, "w") self.write_header() header_end = self.out_fd.tell() -- cgit v1.2.3-65-gdbad