summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohannes Schindelin <johannes.schindelin@gmx.de>2019-07-29 20:08:08 (GMT)
committerJunio C Hamano <gitster@pobox.com>2019-07-29 21:51:42 (GMT)
commit66697467f8256bbc45e413fd2c5022898b0b01c0 (patch)
treed3edabedd1d636ff7ad619be8e3c4a1414650dad
parenta530a59a6f6298622460805e28dfb2b49dd1cf11 (diff)
downloadgit-66697467f8256bbc45e413fd2c5022898b0b01c0.zip
git-66697467f8256bbc45e413fd2c5022898b0b01c0.tar.gz
git-66697467f8256bbc45e413fd2c5022898b0b01c0.tar.bz2
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-xcontrib/buildsystems/engine.pl2
1 files changed, 2 insertions, 0 deletions
diff --git a/contrib/buildsystems/engine.pl b/contrib/buildsystems/engine.pl
index 732239d..1a12f4d 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;
}
}