Merge pull request andreasgal#301 from pchangbin/master

Bug 943160 - pass '-j' option to repo via config.sh, r=jld
cervantesyu · Dec 2, 2013 · dcbd805 · dcbd805
2 parents 40d06fc + 47745ee
commit dcbd805
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/config.sh b/config.sh
@@ -35,8 +35,12 @@ BRANCH=${BRANCH:-master}
 
 while [ $# -ge 1 ]; do
 	case $1 in
-	-d|-l|-f|-n|-c|-q)
+	-d|-l|-f|-n|-c|-q|-j*)
 		sync_flags="$sync_flags $1"
+		if [ $1 = "-j" ]; then
+			shift
+			sync_flags+=" $1"
+		fi
 		shift
 		;;
 	--help|-h)