On Tue, Nov 29, 2016 at 06:17:16PM +0200, Jani Nikula wrote:
> Without this, my non-git-worktree setup will fail to push (or it takes
> forever) if the local drm-tip is not up to date.
>
> Signed-off-by: Jani Nikula <jani.nikula@xxxxxxxxx>
Ack. No idea why git is dense at this ...
-Daniel
> ---
> dim | 6 ++++++
> 1 file changed, 6 insertions(+)
>
> diff --git a/dim b/dim
> index 562cbc64c93e..6371c95885a8 100755
> --- a/dim
> +++ b/dim
> @@ -424,6 +424,12 @@ function dim_rebuild_tip
> exit 1
> fi
>
> + echo -n "Fetching drm-tip (local remote $remote)... "
> + remote=$(url_to_remote $drm_tip_ssh)
> + # git fetch returns 128 if there's nothing to be fetched
> + git fetch -q $remote || true
> + echo "Done."
> +
> for repo in "${!drm_tip_repos[@]}"; do
> url=${drm_tip_repos[$repo]}
> remote=$(url_to_remote $url)
> --
> 2.1.4
>
--
Daniel Vetter
Software Engineer, Intel Corporation
http://blog.ffwll.ch
_______________________________________________
Intel-gfx mailing list
Intel-gfx@xxxxxxxxxxxxxxxxxxxxx
https://lists.freedesktop.org/mailman/listinfo/intel-gfx
