rm-logfiles
author lcp
Thu May 04 02:01:49 1995 +0200 (1995-05-04)
changeset 1108 22b256c8c9fb
parent 608 245633e2fd57
permissions -rwxr-xr-x
case is defined using pattern-matching
clasohm@0
     1
#! /bin/sh
clasohm@0
     2
#rm-logfiles: remove useless files from subdirectories
lcp@263
     3
rm log */make*.log */make*.log.gz
clasohm@0
     4
rm */test
lcp@608
     5
find . -name '.*.thy.ML' -print -exec rm {} \;