From af03912196a98a4116ce4fb521879e4215fb2e3f Mon Sep 17 00:00:00 2001
From: Rudi Heitbaum <rudi@heitbaum.com>
Date: Sun, 19 Nov 2023 12:47:23 +0000
Subject: [PATCH] tools/docker/jammy: rerun apt-get update

---
 tools/docker/jammy/Dockerfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/docker/jammy/Dockerfile b/tools/docker/jammy/Dockerfile
index f86db51567..a25eea9824 100644
--- a/tools/docker/jammy/Dockerfile
+++ b/tools/docker/jammy/Dockerfile
@@ -16,6 +16,8 @@ RUN adduser --disabled-password --gecos '' docker \
  && adduser docker sudo \
  && echo '%sudo ALL=(ALL) NOPASSWD:ALL' >> /etc/sudoers
 
+RUN apt-get update
+
 RUN apt-get install -y \
     wget bash bc gcc-12 sed patch patchutils tar bzip2 gzip xz-utils zstd perl gawk gperf zip \
       unzip diffutils lzop make file g++-12 xfonts-utils xsltproc default-jre-headless python3 \