mirror of
https://gitlab.redox-os.org/redox-os/redox.git
synced 2026-11-05 04:06:38 +08:00
13 lines
262 B
TOML
13 lines
262 B
TOML
[package]
|
|
description = "Kernel with profiling code enabled"
|
|
|
|
[source]
|
|
same_as = "../kernel"
|
|
|
|
[build]
|
|
template = "custom"
|
|
script = """
|
|
cd "${COOKBOOK_SOURCE}"
|
|
make install BUILD="${COOKBOOK_BUILD}" DESTDIR="${COOKBOOK_STAGE}" KERNEL_CARGO_FEATURES=profiling
|
|
"""
|