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.
added removal to /tmp/tmp.txt
authoroheimb
Fri, 19 Dec 1997 19:57:28 +0100
changeset 4460 8b9647d5b632
parent 4459 4066db36616b
child 4461 a98605717d83
added removal to /tmp/tmp.txt
src/Tools/8bit/perl/generators/gen-isa2latex.pl file | annotate | diff | comparison | revisions 
--- a/src/Tools/8bit/perl/generators/gen-isa2latex.pl	Fri Dec 19 13:31:08 1997 +0100
+++ b/src/Tools/8bit/perl/generators/gen-isa2latex.pl	Fri Dec 19 19:57:28 1997 +0100
@@ -384,6 +384,7 @@
 
 $status = system("cp /tmp/tmp.txt $filename") ;
 if ($status) { die "can't copy /tmp/tmp.txt to $filename: $!\n";}
+$status = system("rm /tmp/tmp.txt") ;
 
 ########################
 # configure conv-tables.h
@@ -481,6 +482,7 @@
 
 $status = system("cp /tmp/tmp.txt $filename") ;
 if ($status) { die "can't copy /tmp/tmp.txt to $filename: $!\n";}
+$status = system("rm /tmp/tmp.txt") ;
 
 ########################
 # configure conv-lex.x
@@ -545,6 +547,7 @@
 
 $status = system("cp /tmp/tmp.txt $filename") ;
 if ($status) { die "can't copy /tmp/tmp.txt to $filename: $!\n";}
+$status = system("rm /tmp/tmp.txt") ;
 
 ########################
 # execute  Makefile
isabelle