diff options
author | 2018-01-29 09:28:18 -0800 | |
---|---|---|
committer | 2018-01-29 09:29:53 -0800 | |
commit | f9406969ee46e98df0004dc7bed8374ab1d7625a (patch) | |
tree | 6deacf80b296c96d24bc39d22998d2d21881a5ea /src/main/java/com/google/devtools | |
parent | f74f9fecbdcccd49dbc4b8924a9aac7f913c7702 (diff) |
Remove unused constructor for TargetAndConfiguration.
PiperOrigin-RevId: 183676997
Diffstat (limited to 'src/main/java/com/google/devtools')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/analysis/TargetAndConfiguration.java | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/analysis/TargetAndConfiguration.java b/src/main/java/com/google/devtools/build/lib/analysis/TargetAndConfiguration.java index 21ed49ed98..ac3d6fa10c 100644 --- a/src/main/java/com/google/devtools/build/lib/analysis/TargetAndConfiguration.java +++ b/src/main/java/com/google/devtools/build/lib/analysis/TargetAndConfiguration.java @@ -35,11 +35,6 @@ public final class TargetAndConfiguration { this.configuration = configuration; } - public TargetAndConfiguration(ConfiguredTarget configuredTarget) { - this.target = Preconditions.checkNotNull(configuredTarget).getTarget(); - this.configuration = configuredTarget.getConfiguration(); - } - // The node name in the graph. The name should be unique. // It is not suitable for user display. public String getName() { |