Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
do not overwrite backup files;
authorwenzelm
Mon, 03 Nov 1997 11:48:29 +0100
changeset 4076 8315021bf7d6
parent 4075 8a467dc6e667
child 4077 8ce7c713968c
do not overwrite backup files;
lib/scripts/fixdots.pl file | annotate | diff | comparison | revisions 
--- a/lib/scripts/fixdots.pl	Mon Nov 03 11:48:02 1997 +0100
+++ b/lib/scripts/fixdots.pl	Mon Nov 03 11:48:29 1997 +0100
@@ -38,7 +38,9 @@
 
     if ($text ne $result) {
 	print STDERR "fixing $file\n";
-	rename $file, "$file~~" || die $!;
+        if (! -f "$file~~") {
+	    rename $file, "$file~~" || die $!;
+        }
 	open (FILE, "> $file") || die $!;
 	print FILE $result;
 	close FILE || die $!;
isabelle