From 1e85f35d019efd259ca4bf47fb919c6f6b36ad5d Mon Sep 17 00:00:00 2001 From: emeric Date: Wed, 25 May 2022 23:07:58 +0200 Subject: [PATCH] Updated lgtm file --- .lgtm.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.lgtm.yml b/.lgtm.yml index b23ea4f9..11ce21a0 100644 --- a/.lgtm.yml +++ b/.lgtm.yml @@ -28,7 +28,7 @@ extraction: - popd configure: command: - - export WT_VERSION=4.5.0 + - export WT_VERSION=4.7.2 - export WT_INSTALL_PREFIX=${LGTM_WORKSPACE}/wt-${WT_VERSION} - cmake -DCMAKE_PREFIX_PATH=${WT_INSTALL_PREFIX} -DCMAKE_BUILD_TYPE=Release