1 files changed, 2 insertions, 10 deletions
diff --git a/build b/build
index b7af9048..91843d3f 100755
--- a/build
+++ b/build
@@ -92,7 +92,8 @@ build_release()
 {
 	(
 	cd "$srcdir" || $err "$vdir: !cd \"$srcdir\""
-	fetch_trees
+	./update trees -f
+	rmgit .
 	x_ mv src/docs docs
 	) || $err "can't create release files"
 
@@ -119,15 +120,6 @@ build_release()
 	rm -Rf "$srcdir" || $err "!rm -Rf $srcdir"
 }
 
-fetch_trees()
-{
-	for x in $(ls -1 config/git); do
-		./update trees -f "$x" || $err "$vdir: fetch $x"
-		singletree "$x" || x_ rm -Rf "src/$x/$x"
-	done
-	rmgit .
-}
-
 fail()
 {
 	tmp_cleanup || printf "WARNING: can't rm tmpfiles: %s\n" "$TMPDIR" 1>&2