diff options
author | 2018-10-28 18:32:43 (GMT) | |
---|---|---|
committer | 2018-10-28 18:32:43 (GMT) | |
commit | 669f718ab055b1d937a477ec3dbb4d780ac9e8c5 (patch) | |
tree | dde8ebe7ef50acdc048b035a97e986f8293a142f /configure.ac | |
parent | d2bf59cb7da0940aa3a7bd660f2701f3eb2677fe (diff) | |
parent | 6eb2a236a9b39a2523b8373c8aaa47eebdbc5f97 (diff) |
Merge pull request #1073 from stilor/more-dockers
More dockers
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index d06be67..791cb7a 100644 --- a/configure.ac +++ b/configure.ac @@ -172,7 +172,7 @@ CTNG_PROG_VERSION_REQ_ANY([MAKE], [make_3_81_or_newer]) # Check other companion tools that we may or may not build. -CTNG_PROG_VERSION_REQ_STRICT([LIBTOOL], +CTNG_PROG_VERSION([LIBTOOL], [GNU libtool >= 2.4], [libtool], [glibtool libtool], |