chore: Remove aspect_ names

Topic: rm_aspect_names
f0rmiga · Apr 26, 2024 · f3b1d9b · f3b1d9b
1 parent 4d27f29
commit f3b1d9b
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/WORKSPACE b/WORKSPACE
@@ -15,7 +15,7 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 
-workspace(name = "aspect_gcc_toolchain")
+workspace(name = "gcc_toolchain")
 
 load("//toolchain:repositories.bzl", "gcc_toolchain_dependencies")
 

diff --git a/docs/defs.md b/docs/defs.md
diff --git a/toolchain/defs.bzl b/toolchain/defs.bzl
@@ -110,7 +110,7 @@ _FEATURE_ATTRS = {
     ),
     "gcc_toolchain_workspace_name": attr.string(
         doc = "The name given to the gcc-toolchain repository, if the default was not used.",
-        default = "aspect_gcc_toolchain",
+        default = "gcc_toolchain",
     ),
     "includes": attr.string_list(
         doc = "Extra includes for compiling C and C++." +