May need separate opcodes/ or sim/ approval for
commits of regenerated files there.
-config.guess; config.sub; dejagnu/config.guess; readline/support/config.sub
+config.guess; config.sub; dejagnu/config.guess;
+readline/support/config.sub; readline/support/config.guess
config: http://gnu.org
Patches to config-patches@gnu.org.
Changes need to be done in tandem with the official CONFIG