Skip to content
Snippets Groups Projects
Commit 193912eb authored by mark's avatar mark
Browse files

ENH: wclean all now finds Allwclean files too (issue #408)

- this may still need more testing, but the basic idea is to find
  directories with 'Allwclean' or 'Make' and process them (once!)
parent 63bb0f78
Branches
Tags
2 merge requests!121Merge develop into master for v1706 release,!94Improvements, adjustments for build scripts and infrastructure
......@@ -231,16 +231,18 @@ then
exit $?
fi
# For all sub-directories containing a 'Make' directory
for dir in $(find . -type d -name Make)
# For all directories containing a 'Make' directory, or an 'Allwclean' file
for dir in $(find . -name Allwclean -o -name Make)
do
echo ${dir%/*}
done | sort | uniq | while read dir
do
dir=${dir%/*} # Parent directory containing the Make directory
# Use Allwclean if it exists, otherwise wclean
if [ -e "$dir/Allwclean" ]
then
$dir/Allwclean
else
elif [ -d "$dir/Make" ]
then
$0 $dir
fi
done
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment