| commit | 66697467f8256bbc45e413fd2c5022898b0b01c0 | |
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Mon, 29 Jul 2019 20:08:08 +0000 (29 13:08 -0700) | ||
| committer | Junio C Hamano <gitster@pobox.com> | |
| Mon, 29 Jul 2019 21:51:42 +0000 (29 14:51 -0700) | ||
| tree | d3edabedd1d636ff7ad619be8e3c4a1414650dad | treesnapshot (tar.gz zip) |
| parent | a530a59a6f6298622460805e28dfb2b49dd1cf11 | commitdiff |
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>
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>
| contrib/buildsystems/engine.pl | diffblobblamehistory |