From 1d21cd3a0bca8c596a52afd550bd6b83cca1f363 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ciro=20Santilli=20=E5=85=AD=E5=9B=9B=E4=BA=8B=E4=BB=B6=20?=
 =?UTF-8?q?=E6=B3=95=E8=BD=AE=E5=8A=9F?= <ciro.santilli@gmail.com>
Date: Thu, 17 Sep 2020 02:00:01 +0000
Subject: [PATCH] docker: finish 20.04?

---
 build | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build b/build
index 042816c..5e4cf3a 100755
--- a/build
+++ b/build
@@ -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