From 9f2a0a69127c6c476db29cdf86418dff94c2b454 Mon Sep 17 00:00:00 2001
From: Joe Zuntz <joezuntz@googlemail.com>
Date: Tue, 3 Sep 2024 13:15:14 +0100
Subject: [PATCH] ch3

---
 txpipe-min-failing/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/txpipe-min-failing/Dockerfile b/txpipe-min-failing/Dockerfile
index d09bb21..2486455 100644
--- a/txpipe-min-failing/Dockerfile
+++ b/txpipe-min-failing/Dockerfile
@@ -22,7 +22,7 @@ RUN apt-get update -y  \
     && wget http://www.mpich.org/static/downloads/${MPI_VERSION}/mpich-${MPI_VERSION}.tar.gz \
     && tar xvzf mpich-${MPI_VERSION}.tar.gz \
     && cd mpich-${MPI_VERSION} \
-    && ./configure --disable-cxx \
+    && ./configure --disable-cxx --with-channel=ch3 \
     && make \
     && make install \
     && rm -rf /opt/mpich