mirror of
https://git.jabber.space/devs/cproof.git
synced 2026-07-17 20:36:21 +00:00
* Also pass `$*` to `configure` when invoking `ci-build.sh`, so one can e.g. run `./ci-build.sh --without-xscreensaver` Signed-off-by: Steffen Jaeckel <s@jaeckel.eu>