Skip to content

Commit

Permalink
Merge pull request #7 from Sudhishna/master
Browse files Browse the repository at this point in the history
"umount-busy" toggle added
  • Loading branch information
ydnath authored Apr 8, 2021
2 parents 23b8d60 + 6f8a07b commit 79e91e5
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion jet/utils.py
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down Expand Up @@ -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)

Expand Down

0 comments on commit 79e91e5

Please sign in to comment.