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 /Makefile.in | |
| 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 'Makefile.in')
0 files changed, 0 insertions, 0 deletions