diff options
author | 2008-08-20 21:14:35 +0200 | |
---|---|---|
committer | 2008-08-20 21:14:35 +0200 | |
commit | 834d4027b0369ba198376e1cf50ea39b7a743ef9 (patch) | |
tree | 885bc883c512c4a3f8eba700c31f96d2ce06f502 | |
parent | Allow multiple files to be specified on the command line (diff) | |
download | distindex-834d4027b0369ba198376e1cf50ea39b7a743ef9.tar.gz distindex-834d4027b0369ba198376e1cf50ea39b7a743ef9.tar.bz2 distindex-834d4027b0369ba198376e1cf50ea39b7a743ef9.zip |
Do not create INDEX file if it already exists and
distfile was not changed.
-rwxr-xr-x | distfiles-indexer.py | 3 |
1 files changed, 3 insertions, 0 deletions
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() |