tools/context: use yaml instead of pyaml

According to the sel4-deps 0.4.0 commit message, we don't want Pretty Yaml (pyaml), but just `yaml` instead. For here, this should be true. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jul 11, 2024 · 6a6fef6 · 6a6fef6
1 parent 74530e9
commit 6a6fef6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tools/context.py b/tools/context.py
@@ -10,7 +10,7 @@
 import os
 import stat
 from pickle import dumps
-import pyaml
+import yaml
 from jinja2 import pass_context
 
 from . import macros
@@ -390,7 +390,7 @@ def write_manifest(context, manifest='manifest.yaml', allocator="allocators.pick
 
             data = {"cap_symbols": stash.cap_symbols, "region_symbols": stash.region_symbols}
 
-            manifest_file.write(pyaml.dump(data))
+            manifest_file.write(yaml.dump(data))
             allocator_file.write(dumps(stash.allocator_state))
         return ""