Re: [PATCH] maint: Add empty "check" target.

[Samuel Thibault]

Janneke Nieuwenhuizen, le mar. 20 juin 2023 18:07:06 +0200, a ecrit:
> Provide a "check" target like any GNU package, as is advertised in
> INSTALL.

Well, I'd say that if doesn't make anything, better just drop the
mention of it from INSTALL.

> * Makefile (check): New target.
> ---
>  Makefile | 5 ++++-
>  1 file changed, 4 insertions(+), 1 deletion(-)
> 
> diff --git a/Makefile b/Makefile
> index c611a9ea..c023ea3e 100644
> --- a/Makefile
> +++ b/Makefile
> @@ -1,6 +1,6 @@
>  #
>  #   Copyright (C) 1993-1999, 2001, 2002, 2004, 2006, 2009,
> -#   2011-2013, 2015-2019 Free Software Foundation, Inc.
> +#   2011-2013, 2015-2019, 2023 Free Software Foundation, Inc.
>  #
>  #   This program is free software; you can redistribute it and/or
>  #   modify it under the terms of the GNU General Public License as
> @@ -336,3 +336,6 @@ stamp-version: version.h.in config.make
>         < $< > version.h.new
>       $(move-if-change) version.h.new version.h
>       touch $@
> +
> +check:
> +     true
> -- 
> 2.40.1
> 
> 

-- 
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.