From: Richard W.M. Jones <rjones@redhat.com>
Date: Sun, 12 Jan 2020 18:01:41 +0000 (+0000)
Subject: build: Run make clean in parallel.
X-Git-Tag: v'0.2'~36
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=ba7f932c4a628d12eccd971379e8eb93ae48afd2;p=goals.git

build: Run make clean in parallel.
---

diff --git a/Goalfile.in b/Goalfile.in
index d38e70f..38570aa 100644
--- a/Goalfile.in
+++ b/Goalfile.in
@@ -29,13 +29,15 @@ goal all = : "Goalfile", tool, documentation;
     ./config.status %@
 }
 
-goal clean = {
-    for d in %subdirs; do
-        pushd $d
-        rm -f *~
-        rm -f *.cmi *.cmo *.cmx *.o
-        popd
-    done
+goal clean = : wrap ("clean-subdir", subdirs), clean-subdir ("."), clean-other
+
+goal clean-subdir (dir) = {
+    cd %dir
+    rm -f *~
+    rm -f *.cmi *.cmo *.cmx *.o
+}
+
+goal clean-other = {
     rm -f src/parser.ml src/parser.mli src/lexer.ml src/parser.conflicts
     rm -f man/*.1 man/*.5
     rm -f tests/*.log