-
Beniamino Galvani authored
Add a script run during 'make check' to verify that all config options are in the list of supported ones.
2e45d4ad
Add a script run during 'make check' to verify that all config options are in the list of supported ones.