Re: [PATCH v2 09/10] generate-cmdlist.sh: replace "grep' invocation with a shell version

Subject: Re: [PATCH v2 09/10] generate-cmdlist.sh: replace "grep' invocation with a shell version
From: Junio C Hamano <gitster@xxxxxxxxx>
Date: Sat, 23 Oct 2021 15:26:33 -0700
Cc: git@xxxxxxxxxxxxxxx, Jeff King <peff@xxxxxxxx>, Johannes Sixt <j6t@xxxxxxxx>, Øystein Walle <oystwa@xxxxxxxxx>, Eric Sunshine <sunshine@xxxxxxxxxxxxxx>, Taylor Blau <me@xxxxxxxxxxxx>
In-reply-to: <patch-v2-09.10-7903dd1f8c2-20211022T193027Z-avarab@gmail.com> ("Ævar Arnfjörð Bjarmason"'s message of "Fri, 22 Oct 2021 21:36:13 +0200")
References: <cover-0.8-00000000000-20211020T183533Z-avarab@gmail.com> <cover-v2-00.10-00000000000-20211022T193027Z-avarab@gmail.com> <patch-v2-09.10-7903dd1f8c2-20211022T193027Z-avarab@gmail.com>
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)

Ævar Arnfjörð Bjarmason  <avarab@xxxxxxxxx> writes:

> +		"#"*)
> +			continue;
> +			;;

Stray ';' after continue.

References:
- [PATCH 0/8] Makefile: make command-list.h 2-5x as fast with -jN
  - From: Ævar Arnfjörð Bjarmason
- [PATCH v2 00/10] Makefile: make generate-cmdlist.sh much faster
  - From: Ævar Arnfjörð Bjarmason
- [PATCH v2 09/10] generate-cmdlist.sh: replace "grep' invocation with a shell version
  - From: Ævar Arnfjörð Bjarmason