diff options
Diffstat (limited to 'cmake/configure.pl')
| -rw-r--r-- | cmake/configure.pl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/cmake/configure.pl b/cmake/configure.pl index d9ca3f34e59..b298ab11076 100644 --- a/cmake/configure.pl +++ b/cmake/configure.pl @@ -232,6 +232,11 @@ foreach my $option (@ARGV) $cmakeargs = $cmakeargs." -DENABLE_GCOV=ON"; next; } + if ($option =~ /with-max-indexes=/) + { + $cmakeargs = $cmakeargs." -DMAX_INDEXES=".substr($option, 17); + next; + } if ($option =~ /verbose/) { $cmakeargs = $cmakeargs." -DCMAKE_VERBOSE_MAKEFILE=1"; |