diff options
Diffstat (limited to 'clean_files')
-rwxr-xr-x | clean_files | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/clean_files b/clean_files index a1fd235..24465c2 100755 --- a/clean_files +++ b/clean_files @@ -20,4 +20,6 @@ system(split(/\s+/,"find . -type f -a -o -name TAGS -o -name core -o ( -path */.deps/* -a -name *.P ) ) -exec rm -f {} ;")); +system(split(/\s+/, "find . -type d -a -name CVS -exec rm -rf {} ;")); + # clean_files ends here |