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 |