diff --git a/.flux/config.toml b/.flux/config.toml new file mode 100644 index 00000000000..c4b44fb6aa6 --- /dev/null +++ b/.flux/config.toml @@ -0,0 +1,2 @@ +[cache] +enabled = true diff --git a/arch/cortex-m/Cargo.toml b/arch/cortex-m/Cargo.toml index 4a3f51fed38..1e9fe8f61f2 100644 --- a/arch/cortex-m/Cargo.toml +++ b/arch/cortex-m/Cargo.toml @@ -10,7 +10,7 @@ edition.workspace = true [package.metadata.flux] enabled = true -check_overflow = "lazy" +check-overflow = "lazy" [dependencies] kernel = { path = "../../kernel" } diff --git a/arch/rv32i/Cargo.toml b/arch/rv32i/Cargo.toml index 073ba16f0fa..eaebb028c3e 100644 --- a/arch/rv32i/Cargo.toml +++ b/arch/rv32i/Cargo.toml @@ -19,7 +19,7 @@ flux-rs = { git = "https://github.com/flux-rs/flux.git" } [package.metadata.flux] enabled = true -check_overflow = "lazy" +check-overflow = "lazy" [lints] workspace = true diff --git a/flux.toml b/flux.toml deleted file mode 100644 index 599e9fd8aeb..00000000000 --- a/flux.toml +++ /dev/null @@ -1 +0,0 @@ -cache = true diff --git a/flux_support/Cargo.toml b/flux_support/Cargo.toml index d1f2a1530d5..c9f24f9b9b7 100644 --- a/flux_support/Cargo.toml +++ b/flux_support/Cargo.toml @@ -6,7 +6,7 @@ edition.workspace = true [package.metadata.flux] enabled = true -check_overflow = "lazy" +check-overflow = "lazy" [dependencies] tock-registers = { path = "../libraries/tock-register-interface" } diff --git a/kernel/Cargo.toml b/kernel/Cargo.toml index 6ed09524801..d50c01d3df4 100644 --- a/kernel/Cargo.toml +++ b/kernel/Cargo.toml @@ -10,7 +10,7 @@ edition.workspace = true [package.metadata.flux] enabled = true -check_overflow = "lazy" +check-overflow = "lazy" [dependencies] tock-registers = { path = "../libraries/tock-register-interface" }