On Tue, 18 Oct 2016, Daniel Vetter <daniel.vetter@xxxxxxxx> wrote:
> Exits script to annoy people roughly every 100th time ...
Annoyingly random, but we can improve this later.
LGTM.
> Also switch to the magic @{upstream} reference, in case the remote is
> not called origin (which is pretty normal in case of using git
> worktree).
>
> Signed-off-by: Daniel Vetter <daniel.vetter@xxxxxxxxx>
> ---
> dim | 6 +++++-
> 1 file changed, 5 insertions(+), 1 deletion(-)
>
> diff --git a/dim b/dim
> index 57ad4fcf9767..192d6ee10838 100755
> --- a/dim
> +++ b/dim
> @@ -176,13 +176,17 @@ function dim_uptodate
> exit 1
> fi
>
> - if ! git --git-dir=$DIM_PREFIX/maintainer-tools/.git show origin/maintainer-tools:dim |\
> + if ! git --git-dir=$DIM_PREFIX/maintainer-tools/.git show @{upstream}:dim |\
> diff "$using" - >& /dev/null; then
> echo "$dim: not running upstream version of the script." >&2
> exit 1
> fi
> }
>
> +if [[ "$((`date +%s` % 100))" -eq "0" ]] ; then
> + dim_uptodate
> +fi
> +
> # get message id from file
> # $1 = file
> message_get_id ()
--
Jani Nikula, Intel Open Source Technology Center
_______________________________________________
dri-devel mailing list
dri-devel@xxxxxxxxxxxxxxxxxxxxx
https://lists.freedesktop.org/mailman/listinfo/dri-devel
