diff options
author | Ben Elliston <bje@gnu.org> | 2019-01-01 20:35:23 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2019-01-01 20:35:23 +1100 |
commit | 7d63d7a08cc11858904b44edaf32d1bc2a52ff0f (patch) | |
tree | 393ad3f5ed622927655dbafc23c0cd27103bf332 /ChangeLog | |
parent | 133ffaef0b659e159d9e41468f7b25e494b11fb3 (diff) | |
download | dejagnu-7d63d7a08cc11858904b44edaf32d1bc2a52ff0f.zip dejagnu-7d63d7a08cc11858904b44edaf32d1bc2a52ff0f.tar.gz dejagnu-7d63d7a08cc11858904b44edaf32d1bc2a52ff0f.tar.bz2 |
* configure.ac: Abort if AWK is not installed.
* configure: Regenerate.
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -1,5 +1,10 @@ 2019-01-01 Ben Elliston <bje@gnu.org> + * configure.ac: Abort if AWK is not installed. + * configure: Regenerate. + +2019-01-01 Ben Elliston <bje@gnu.org> + * config.guess: Update to latest version. * config.sub: Likewise. |