diff options
author | Jacob Bachmeyer <jcb@gnu.org> | 2021-04-16 16:34:56 -0500 |
---|---|---|
committer | Jacob Bachmeyer <jcb@gnu.org> | 2021-04-16 16:34:56 -0500 |
commit | d0f104991b9e6134f04bc674af115bc288c9e137 (patch) | |
tree | 9b56d4988d55ac78419223d04f30ae632e82d879 /doc | |
parent | 408cfae9ecf4ec3a586fc50a31a8f05a218b004d (diff) | |
download | dejagnu-d0f104991b9e6134f04bc674af115bc288c9e137.zip dejagnu-d0f104991b9e6134f04bc674af115bc288c9e137.tar.gz dejagnu-d0f104991b9e6134f04bc674af115bc288c9e137.tar.bz2 |
Allow environment to specify a shell for running config.guess
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions