build-sys: allow autogen.sh to take configure params
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Thu, 20 Oct 2016 02:49:22 +0000 (22:49 -0400)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Thu, 20 Oct 2016 05:42:55 +0000 (01:42 -0400)
commita5e739a570081231eccb5a01a2b891f8bbaa86ba
treec1ab43b9506ead76639f6a849d5fae275129a7f9
parent5368222db6093195dbbd5fc7418508b154b1b769
build-sys: allow autogen.sh to take configure params

It is sometimes nice to run autogen with some configure parameters.
For example:

  ./autogen.sh c --disable-manpages

So pass any extra args after the [cgals] verb to the configure command.

Also, check that the verb is correct (empty or one of the known letters)
before doing any non-trivial work.
autogen.sh