Michael Weiss 9182927998 gengetopt: Fix the build ...

Thanks @orivej for providing this fix.

Fix #28255 (the build was broken since
2bc7b4e134).

2017-09-20 19:32:06 +02:00

..

default.nix

gengetopt: Fix the build

2017-09-20 19:32:06 +02:00