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.