message: Tweak version checking
diff: @@ -161,13 +161,13 @@ export class CMakeToolsWrapper implements api.CMakeToolsAPI {
  console.assert(version_ex.stdout);
  const version_re = /cmake version (.*?)\r?\n/;
  const version = util.parseVersion(version_re.exec(version_ex.stdout!)![1]);
  - // We purposefully exclude version 3.7.0, which had some major CMake server
  - // bugs
  - if (util.versionGreater(version, '3.7.0')) {
  + // We purposefully exclude versions <3.7.1, which have some major CMake
  + // server bugs
  + if (util.versionGreater(version, '3.7.1')) {
  this._impl = client.ServerClientCMakeTools.startup(this._ctx);
  return this;
  }
  - vscode.window.showWarningMessage('CMake Server is not available with the current CMake executable. Please upgrade to CMake 3.7.1 or newer first.');
  + vscode.window.showWarningMessage('CMake Server is not available with the current CMake executable. Please upgrade to CMake 3.7.2 or newer first.');
  }
  // Fall back to use the legacy plugin
  const cmt = new legacy.CMakeTools(this._ctx);
  