docker: finish 20.04?

2026-01-23 02:05:57 +01:00 · 2020-09-17 02:00:01 +00:00
parent 52a5fdd7c1
commit 1d21cd3a0b
1 changed files with 2 additions and 0 deletions
--- a/2
+++ b/2
@@ -215,6 +215,8 @@ so looping over all of them would waste time.
                'diod',
                # For prebuilt qcow2 unpack.
                'qemu-utils',
+                # Otherwise HDF5 not found.
+                'pkg-config',
            },
            'python3_pkgs': {
                # https://cirosantilli.com/linux-kernel-module-cheat#gem5-config-dot