add safeguard against re-disabling release mode

This commit is contained in:
2025-09-24 10:20:46 +02:00
parent a32308caae
commit 02dea43d4a

View File

@@ -10,7 +10,12 @@
)
}
context {
is_prod.update(is_prod => "true");
is_prod.update(is_prod => {
if eval(is_prod) and profile == "debug" {
panic("refusing to unset release profile - this is a safety measure");
}
if profile == "release" { "true" } else { "false" };
});
}
}