simon-git: spigot (master): Simon Tatham

[Commits to Tartarus hosted VCS]

TL;DR:
  b1b0b20 configure: fix missing AS_HELP_STRING.

Repository:     https://git.tartarus.org/simon/spigot.git
On the web:     https://git.tartarus.org/?p=simon/spigot.git
Branch updated: master
Committer:      Simon Tatham <anakin at pobox.com>
Date:           2019-12-31 16:56:58

commit b1b0b202b3523b72f0638fb31fd49c47f4abb39c
web diff https://git.tartarus.org/?p=simon/spigot.git;a=commitdiff;h=b1b0b202b3523b72f0638fb31fd49c47f4abb39c;hp=4287b467b49dfd8ce361f1564bc1428df6be8838
Author: Jacob Nevins <jacobn at chiark.greenend.org.uk>
Date:   Tue Dec 31 12:12:49 2019 +0000

    configure: fix missing AS_HELP_STRING.
    
    This was mangling "--with-gmp" in "./configure --help".

 configure.ac | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)