fix a bug in the ./all script when checking out the DP repo

2025-02-21 04:56:52 +00:00 · 2010-06-05 15:08:10 +02:00 · 2010-06-05 15:08:10 +02:00 · beeb2a3c59
commit beeb2a3c59
parent 8dcc13e685
1 changed files with 3 additions and 1 deletions
--- a/4
+++ b/4
@ -233,7 +233,9 @@ case "$cmd" in
 			else
 				verbose git clone "$url" "$d0/$d"
 				enter "$d0/$d" verbose
-				verbose git checkout "$branch"
+				if [ "$branch" != "master" ]; then
+					verbose git checkout --track -b "$branch" origin/"$branch"
+				fi
 				cd "$d0"
 			fi
 		done