File r38/util/clean from the latest check-in


#!/bin/csh -f

# clean --- Remove *.old files from a tree.
# You need to position yourself at the top of the relevant tree to use it.

# Author: Anthony C. Hearn.

find . -name "*.old" -print -exec rm -r {} \;


REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]