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

[Samuel Thibault]

Samuel Thibault, le mer. 21 juin 2023 00:10:37 +0200, a ecrit:
> 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.

(done so).

> > * 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.

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