Commit f04b5c3acdc08549fb5b25936d2d17faae83a89b
2022-08-03T22:42:25
gnulib-tool.py: Implement option --single-configure. * gnulib-tool.py (main): Accept option --single-configure. Pass its value to the GLConfig constructor. * pygnulib/GLTestDir.py (GLTestDir.execute): Remove debugging output.