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.
Replaced the very slow "find" command by "rm" with wildcards
authorpaulson
Tue, 05 Nov 1996 11:48:09 +0100
changeset 2161 c25714ca1c19
parent 2160 ad4382e546fc
child 2162 f53171d7f86c
Replaced the very slow "find" command by "rm" with wildcards
src/Tools/rm-logfiles file | annotate | diff | comparison | revisions 
--- a/src/Tools/rm-logfiles	Tue Nov 05 11:20:52 1996 +0100
+++ b/src/Tools/rm-logfiles	Tue Nov 05 11:48:09 1996 +0100
@@ -3,4 +3,4 @@
 #Remove useless files from subdirectories
 rm log */make*.log */make*.log.gz
 rm */test
-find . -name '.*.thy.ML' -print -exec rm {} \;
+rm */.*.thy.ML */.*.thy.ML */*/.*.thy.ML
isabelle