From 193912eb9ea078ac279e8adca0a41cf8228e9039 Mon Sep 17 00:00:00 2001
From: mark <mark@augsburg>
Date: Tue, 21 Feb 2017 19:40:35 +0100
Subject: [PATCH] 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!)
---
wmake/wclean | 12 +++++++-----
1 file changed, 7 insertions(+), 5 deletions(-)
diff --git a/wmake/wclean b/wmake/wclean
index 1ed0cf21ac..0f3e5eb8de 100755
--- a/wmake/wclean
+++ b/wmake/wclean
@@ -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
--
GitLab