maint: use gnulib's getopt-gnu, not the deprecated getopt module
commitdbb6fa38fd806ace7b16357bf7cd484fb8fa8057
authorJim Meyering <meyering@redhat.com>
Tue, 24 Jan 2012 13:38:39 +0000 (24 14:38 +0100)
committerJim Meyering <meyering@redhat.com>
Tue, 24 Jan 2012 17:01:51 +0000 (24 18:01 +0100)
tree255fe27b5c0a36cd2e34daa59cea3d3f19a819d9
parent29bf14c3ed253203f53b134536212c4c707b9947
maint: use gnulib's getopt-gnu, not the deprecated getopt module

* bootstrap.conf (gnulib_modules): Use getopt-gnu, not the
deprecated getopt module.
bootstrap.conf