Subject: Re: bug#61366: [PATCH] ; Add usage, will not continue if no parameters are provided.

From: Eli Zaretskii <[email-masked]>
Date: Sun, 19 Mar 2023 08:05:46 +0200

> Cc: [email-masked]
> From: lux <[email-masked]>
> Date: Sun, 19 Mar 2023 11:57:06 +0800
> 
> On Sat, 2023-02-18 at 23:27 +0800, lux wrote:
> > Xi Lu <[email-masked]> writes:
> > 
> > > ---
> > >  admin/notes/tree-sitter/build-module/build.sh | 6 ++++++
> > >  1 file changed, 6 insertions(+)
> > > 
> > > diff --git a/admin/notes/tree-sitter/build-module/build.sh
> > > b/admin/notes/tree-sitter/build-module/build.sh
> > > index 9dc674237ca..08a71c1dde1 100755
> > > --- a/admin/notes/tree-sitter/build-module/build.sh
> > > +++ b/admin/notes/tree-sitter/build-module/build.sh
> > > @@ -3,6 +3,12 @@
> > >  lang=$1
> > >  topdir="$PWD"
> > >  
> > > +if [ $# -lt 1 ]
> > > +then
> > > +    echo "Usage: $0 <language>"
> > > +    exit
> > > +fi
> > > +
> > >  case $(uname) in
> > >      "Darwin")
> > >          soext="dylib"
> > 
> > This patch need to review. If not give the `language' paramter, some
> > errors will be printed.
> > 
> > IMHO, Can the batch.sh and build.sh merge to one shell file?
> 
> Hi, Yuan Fu, Can you help to look this issue?

I don't see a point, as I'm going to delete these scripts very soon.
They did their job and are no longer needed in our repository.