message: fix "CMake: compile active file"
diff: @@ -1153,10 +1153,12 @@ export class CMakeTools implements vscode.Disposable, api.CMakeToolsAPI {
  }
  });
  }
  - } else if (this.workspaceContext.config.copyCompileCommands) {
  + } else {
  // single file with known path
  const compdb_path = path.join(await this.binaryDir, 'compile_commands.json');
  if (await fs.exists(compdb_path)) {
  + compdb_paths.push(compdb_path);
  + if (this.workspaceContext.config.copyCompileCommands) {
  // Now try to copy the compdb to the user-requested path
  const copy_dest = this.workspaceContext.config.copyCompileCommands;
  const expanded_dest = await expandString(copy_dest, opts);
  @@ -1175,7 +1177,8 @@ export class CMakeTools implements vscode.Disposable, api.CMakeToolsAPI {
  'Tried to copy {0} to {1}, but failed to create the parent directory {2}: {3}',
  `"${compdb_path}"`, `"${expanded_dest}"`, `"${pardir}"`, e.toString()));
  }
  - } else {
  + }
  + } else if (this.workspaceContext.config.copyCompileCommands) {
  log.debug(localize('cannot.copy.compile.commands', 'Cannot copy {1} because it does not exist at {0}', compdb_path, 'compile_commands.json'));
  }
  }
  