diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/Makefile.in | 2 | ||||
| -rw-r--r-- | test/regress/Makefile.in | 2 | ||||
| -rw-r--r-- | test/unit/Makefile.in | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/test/Makefile.in b/test/Makefile.in index 42dd98fdd..0fecac937 100644 --- a/test/Makefile.in +++ b/test/Makefile.in @@ -38,7 +38,7 @@ subdir = test DIST_COMMON = $(srcdir)/Makefile.am $(srcdir)/Makefile.in ACLOCAL_M4 = $(top_srcdir)/aclocal.m4 am__aclocal_m4_deps = $(top_srcdir)/config/antlr.m4 \ - $(top_srcdir)/config/libtool.m4 \ + $(top_srcdir)/config/cvc4.m4 $(top_srcdir)/config/libtool.m4 \ $(top_srcdir)/config/ltoptions.m4 \ $(top_srcdir)/config/ltsugar.m4 \ $(top_srcdir)/config/ltversion.m4 \ diff --git a/test/regress/Makefile.in b/test/regress/Makefile.in index 691753a0f..451d333e2 100644 --- a/test/regress/Makefile.in +++ b/test/regress/Makefile.in @@ -38,7 +38,7 @@ subdir = test/regress DIST_COMMON = $(srcdir)/Makefile.am $(srcdir)/Makefile.in ACLOCAL_M4 = $(top_srcdir)/aclocal.m4 am__aclocal_m4_deps = $(top_srcdir)/config/antlr.m4 \ - $(top_srcdir)/config/libtool.m4 \ + $(top_srcdir)/config/cvc4.m4 $(top_srcdir)/config/libtool.m4 \ $(top_srcdir)/config/ltoptions.m4 \ $(top_srcdir)/config/ltsugar.m4 \ $(top_srcdir)/config/ltversion.m4 \ diff --git a/test/unit/Makefile.in b/test/unit/Makefile.in index c60adee32..bcd2d239c 100644 --- a/test/unit/Makefile.in +++ b/test/unit/Makefile.in @@ -39,7 +39,7 @@ subdir = test/unit DIST_COMMON = $(srcdir)/Makefile.am $(srcdir)/Makefile.in ACLOCAL_M4 = $(top_srcdir)/aclocal.m4 am__aclocal_m4_deps = $(top_srcdir)/config/antlr.m4 \ - $(top_srcdir)/config/libtool.m4 \ + $(top_srcdir)/config/cvc4.m4 $(top_srcdir)/config/libtool.m4 \ $(top_srcdir)/config/ltoptions.m4 \ $(top_srcdir)/config/ltsugar.m4 \ $(top_srcdir)/config/ltversion.m4 \ |