From b37b54e5615fcef0ace89df4ac2ac34f04c15ae4 Mon Sep 17 00:00:00 2001
From: Nicolas Kruse <nicolas@nonan.net>
Date: Thu, 27 Feb 2025 17:33:03 +0100
Subject: [PATCH] Docker comments revised

---
 tests/src/Dockerfile | 15 +--------------
 1 file changed, 1 insertion(+), 14 deletions(-)

diff --git a/tests/src/Dockerfile b/tests/src/Dockerfile
index 2eb09d7..3cb1b12 100644
--- a/tests/src/Dockerfile
+++ b/tests/src/Dockerfile
@@ -1,25 +1,12 @@
-# Start with a base image containing build tools and libraries
+#Change to debian:stable-20250224⁠ if build fails
 FROM debian:stable
 
-# Set the working directory
 WORKDIR /src
 
-# Install necessary build tools
 RUN apt-get update && apt-get install -y \
     build-essential \
     gcc
-#    g++ \
-#    make \
-#    wget \
-#    curl \
-#    git \
-#    ca-certificates \
-#    bison \
-#    flex \
-#    python3 \
-#    texinfo
 
-# Install cross-compilers for x86, ARM, MIPS, and RISC-V
 RUN apt-get install -y \
     gcc-12-arm-linux-gnueabihf \
     gcc-12-mips-linux-gnu \