Faciliate usage of jom (#932)

This commit is contained in:
jheaff1 2022-06-22 20:35:28 +01:00 committed by GitHub
parent 2f7658cf02
commit 3b0cf7dacb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -82,7 +82,7 @@ def _create_configure_script(configureParameters):
for target in ctx.attr.targets: for target in ctx.attr.targets:
# Configure will have generated sources into `$BUILD_TMPDIR` so make sure we `cd` there # Configure will have generated sources into `$BUILD_TMPDIR` so make sure we `cd` there
make_commands.append("{prefix}{make} -C $$BUILD_TMPDIR$$ {target} {args}".format( make_commands.append("{prefix}{make} {target} {args}".format(
prefix = prefix, prefix = prefix,
make = attrs.make_path, make = attrs.make_path,
args = args, args = args,

View File

@ -58,7 +58,7 @@ def _create_make_script(configureParameters):
make_commands = [] make_commands = []
prefix = "{} ".format(expand_locations_and_make_variables(ctx, attrs.tool_prefix, "tool_prefix", data)) if attrs.tool_prefix else "" prefix = "{} ".format(expand_locations_and_make_variables(ctx, attrs.tool_prefix, "tool_prefix", data)) if attrs.tool_prefix else ""
for target in ctx.attr.targets: for target in ctx.attr.targets:
make_commands.append("{prefix}{make} -C $$BUILD_TMPDIR$$ {target} {args} PREFIX={install_prefix}".format( make_commands.append("{prefix}{make} {target} {args} PREFIX={install_prefix}".format(
prefix = prefix, prefix = prefix,
make = attrs.make_path, make = attrs.make_path,
args = args, args = args,