diff options
| author |  Johannes Schindelin <johannes.schindelin@gmx.de> | 2019-07-29 13:08:08 -0700 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2019-07-29 14:51:42 -0700 |
| commit | 66697467f8256bbc45e413fd2c5022898b0b01c0 (patch) | |
| tree | d3edabedd1d636ff7ad619be8e3c4a1414650dad | |
| parent | contrib/buildsystems: optionally capture the dry-run in a file (diff) | |
| download | tgif-66697467f8256bbc45e413fd2c5022898b0b01c0.tar.xz | |
contrib/buildsystems: error out on unknown option
One time too many did this developer call the `generate` script passing
a `--make-out=<PATH>` option that was happily ignored (because there
should be a space, not an equal sign, between `--make-out` and the
path).
And one time too many, this script not only ignored it but did not even
complain. Let's fix that.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rwxr-xr-x | contrib/buildsystems/engine.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/contrib/buildsystems/engine.pl b/contrib/buildsystems/engine.pl index 732239d817..1a12f4d556 100755 --- a/contrib/buildsystems/engine.pl +++ b/contrib/buildsystems/engine.pl @@ -57,6 +57,8 @@ while (@ARGV) { open(F, "<$infile") || die "Couldn't open file $infile"; @makedry = <F>; close(F); + } else { + die "Unknown option: " . $arg; } } |