diff options
| -rwxr-xr-x | include/git.sh | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/include/git.sh b/include/git.sh index ec1ecdd3..6c5c2718 100755 --- a/include/git.sh +++ b/include/git.sh @@ -88,7 +88,7 @@ git_prep()  	git -C "$tmpgit" reset --hard $rev || $err "git -C $_loc: !reset $rev"  	git_am_patches "$tmpgit" "$_patchdir" || $err "!am $_loc $_patchdir" -	if [ "$project" != "coreboot" ] || [ $# -gt 2 ]; then +	if singletree "$project" || [ $# -gt 2 ]; then  		prep_submodules "$_loc"  	fi | 
