Remove "GNU" prefix to Make (#744)

This commit is contained in:
jheaff1 2021-07-29 14:13:26 +01:00 committed by GitHub
parent bad4ab0c3d
commit 1cc0f074f4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -28,7 +28,7 @@ def _make(ctx):
attrs = create_attrs(
ctx.attr,
configure_name = "GNUMake",
configure_name = "Make",
create_configure_script = _create_make_script,
tools_deps = tools_deps,
make_path = make_data.path,