nixpkgs/pkgs/development/tools/misc/gengetopt
Michael Weiss 9182927998 gengetopt: Fix the build
Thanks @orivej for providing this fix.

Fix  (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