From 986f0fff5ed72dfb4975d2b2f40e55c6ce214e4f Mon Sep 17 00:00:00 2001
From: Simon Schwitanski <schwitanski@itc.rwth-aachen.de>
Date: Wed, 7 Aug 2024 15:46:45 +0200
Subject: [PATCH] Revert "Dockerfiles: Remove platform flag to avoid Docker
 warning"

This reverts commit 92bf4f5d4b97d4b23a227303919b10b1e506005c.
---
 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 fe45d893..a13b36d0 100644
--- a/Dockerfile.itac
+++ b/Dockerfile.itac
@@ -1,5 +1,5 @@
 
-FROM debian:latest
+FROM --platform=linux/amd64 debian:latest
 USER root
 
 RUN apt-get update --fix-missing && \
diff --git a/Dockerfile.must b/Dockerfile.must
index 327883bd..40858278 100644
--- a/Dockerfile.must
+++ b/Dockerfile.must
@@ -1,5 +1,5 @@
 
-FROM debian:12
+FROM --platform=linux/amd64 debian:12
 USER root
 
 RUN apt-get update --fix-missing && \
diff --git a/Dockerfile.parcoach b/Dockerfile.parcoach
index ff876038..00cb548f 100644
--- a/Dockerfile.parcoach
+++ b/Dockerfile.parcoach
@@ -1,4 +1,4 @@
-FROM debian:12
+FROM --platform=linux/amd64 debian:12 
 USER root
 
 RUN apt-get update --fix-missing && \
-- 
GitLab