> On 23 May 2023, at 19:48, Roman Arutyunyan <a...@nginx.com> wrote: > > # HG changeset patch > # User Roman Arutyunyan <a...@nginx.com> > # Date 1684856745 -14400 > # Tue May 23 19:45:45 2023 +0400 > # Branch quic > # Node ID bd25277d0ed77a90766bc2f4153538c86621cdfc > # Parent a83071314a22652d4a552e72e13d18aa4c01d79e > Configure: dump unsupported repository error and exit. > > diff --git a/auto/configure b/auto/configure > --- a/auto/configure > +++ b/auto/configure > @@ -4,6 +4,13 @@ > # Copyright (C) Nginx, Inc. > > > +cat << END > + > +$0: this repository is no longer supported, see README > + > +END > +exit 1 > + > LC_ALL=C > export LC_ALL >
Something similar to what we use for invalid options might be enough. Also, using "error" might help emphasize this is an error: diff --git a/auto/configure b/auto/configure --- a/auto/configure +++ b/auto/configure @@ -4,6 +4,9 @@ # Copyright (C) Nginx, Inc. +echo "$0: error: this repository is no longer supported, see README" +exit 1 + LC_ALL=C export LC_ALL Personally, I think this makes sense, in order to help break pipelines. -- Sergey Kandaurov _______________________________________________ nginx-devel mailing list nginx-devel@nginx.org https://mailman.nginx.org/mailman/listinfo/nginx-devel
