diff --git a/project.py b/project.py index 8d56a14..7273877 100644 --- a/project.py +++ b/project.py @@ -553,6 +553,8 @@ def harden(self): config = read_config("src/config", ("json", "tcl")) user_config = read_config("src/user_config", ("json",)) + if self.args.orfs and "PDN_TCL" in config: + del user_config["PDN_TCL"] config.update(user_config) if self.args.orfs: write_config(config, "src/config_merged", ("mk",))