From 95d376ba331e80276716b21f1e700ad466875b39 Mon Sep 17 00:00:00 2001 From: Nachum Goldstein Date: Wed, 24 Jan 2024 11:21:02 +0200 Subject: [PATCH] Remove patch fields from git repo source.json Change-Id: I10109d7f225d5c52583f6c6c6325e807263553c6 --- .../devtools/build/lib/bazel/bzlmod/IndexRegistry.java | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/src/main/java/com/google/devtools/build/lib/bazel/bzlmod/IndexRegistry.java b/src/main/java/com/google/devtools/build/lib/bazel/bzlmod/IndexRegistry.java index 50bcb325a97257..492ab55051b409 100644 --- a/src/main/java/com/google/devtools/build/lib/bazel/bzlmod/IndexRegistry.java +++ b/src/main/java/com/google/devtools/build/lib/bazel/bzlmod/IndexRegistry.java @@ -149,11 +149,6 @@ private static class GitRepoSourceJson { boolean initSubmodules; boolean verbose; String stripPrefix; - List patches; - String patchTool; - List patchArgs; - List patchCmds; - List patchCmdsWin; } /** @@ -360,11 +355,6 @@ private RepoSpec createGitRepoSpec( .setInitSubmodules(sourceJson.initSubmodules) .setVerbose(sourceJson.verbose) .setStripPrefix(sourceJson.stripPrefix) - .setPatches(sourceJson.patches) - .setPatchTool(sourceJson.patchTool) - .setPatchArgs(sourceJson.patchArgs) - .setPatchCmds(sourceJson.patchCmds) - .setPatchCmdsWin(sourceJson.patchCmdsWin) .build(); }