Fix extra_bins in dist builds

dzbarsky · Oct 17, 2023 · 1c2d4f5 · 1c2d4f5
1 parent b730a8b
commit 1c2d4f5
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/BUILD b/BUILD
@@ -41,7 +41,7 @@ DIST_FLAVORS = {
             "@llvm-project//llvm:llvm-as",
             "@llvm-project//llvm:llvm-nm",
             "@llvm-project//llvm:llvm-objcopy",
-        ] + props.get("extra_binaries", []),
+        ] + props.get("extra_bins", []),
         prefix = "bin",
     )
     for (suffix, props) in DIST_FLAVORS.items()
@@ -79,8 +79,8 @@ PLATFORMS = [
         name = "for_" + platform.split(":")[1],
         srcs = [
             ":dist",
-	    # The minimal dist is the same size compressed as the normal one.
-	    # ":dist_minimal",
+            # The minimal dist is the same size compressed as the normal one.
+            # ":dist_minimal",
         ],
         target_platform = platform,
     )