diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-07-05 21:47:05 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-07-05 21:47:05 +0000 |
| commit | 005200d69b6bd12cd4c15679ae1e6ffdb25b91a4 (patch) | |
| tree | 271716ab9fbae70c7ff33d2d33530163199df47e /AUTHORS | |
| parent | 5c1a60fcd8681b67208aa930d8c133e10b227314 (diff) | |
workaround for strange CIMS installation of automake; resolves bug 172: autogen fails on CIMS machines
Diffstat (limited to 'AUTHORS')
| -rw-r--r-- | AUTHORS | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -21,5 +21,7 @@ Temporal Wave LLC. CVC4 contains the doxygen.m4 autoconf module by Oren Ben-Kiki. +CVC4 contains the pkg.m4 autoconf module by Scott James Remnant. + CVC4 maintainer versions contain the script autogen.sh, by the U.S. Army Research Laboratory |