From 6f8a07b110e0e65c2a0ebb7a41f4890ce9ab861d Mon Sep 17 00:00:00 2001 From: Sudhishna Date: Wed, 7 Apr 2021 17:18:25 +0000 Subject: [PATCH] umount-busy tag added --- jet/utils.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/jet/utils.py b/jet/utils.py index a1fa038..393f9d2 100644 --- a/jet/utils.py +++ b/jet/utils.py @@ -129,6 +129,7 @@ def required(d, k): "config-validate": project_yaml.get("config-validate", False), "veriexec-ext": project_yaml.get("veriexec-ext", False), "mountlate": project_yaml.get("mountlate", False), + "umount-busy": project_yaml.get("umount-busy", False), } project_yaml_files = required(project_yaml, "files") for file in project_yaml_files: @@ -207,7 +208,7 @@ def package_xml_file(filename): etree.SubElement(package_xml, "sb-location").text = "JetEZ" # XMLPKG_TOGGLE_LIST - for p in ("schema", "config-validate", "veriexec-ext", "mountlate"): + for p in ("schema", "config-validate", "veriexec-ext", "mountlate", "umount-busy"): if project[p]: etree.SubElement(package_xml, p)