From 92bf4f5d4b97d4b23a227303919b10b1e506005c Mon Sep 17 00:00:00 2001
From: Simon Schwitanski <schwitanski@itc.rwth-aachen.de>
Date: Wed, 7 Aug 2024 13:30:34 +0200
Subject: [PATCH] Dockerfiles: Remove platform flag to avoid Docker warning

---
 Dockerfile.itac     | 2 +-
 Dockerfile.must     | 2 +-
 Dockerfile.parcoach | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Dockerfile.itac b/Dockerfile.itac
index 6b09049bd..8cd4eead1 100644
--- a/Dockerfile.itac
+++ b/Dockerfile.itac
@@ -1,5 +1,5 @@
 
-FROM --platform=linux/amd64 debian:latest
+FROM debian:latest
 USER root
 
 RUN apt-get update --fix-missing && \
diff --git a/Dockerfile.must b/Dockerfile.must
index 9e5891957..470043f8c 100644
--- a/Dockerfile.must
+++ b/Dockerfile.must
@@ -1,5 +1,5 @@
 
-FROM --platform=linux/amd64 debian:12
+FROM debian:12
 USER root
 
 RUN apt-get update --fix-missing && \
diff --git a/Dockerfile.parcoach b/Dockerfile.parcoach
index ba09f2e16..a9d23f1a6 100644
--- a/Dockerfile.parcoach
+++ b/Dockerfile.parcoach
@@ -1,4 +1,4 @@
-FROM --platform=linux/amd64 debian:12 
+FROM debian:12
 USER root
 
 RUN apt-get update --fix-missing && \
-- 
GitLab