diff options
| author |   Robert Buchholz <rbu@goodpoint.de> | 2008-08-20 21:14:35 +0200 |
|---|---|---|
| committer | Robert Buchholz <rbu@goodpoint.de> | 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() |