Update Dockerfile

CGAL · Jun 18, 2024 · 30f70ac · 30f70ac
1 parent a192a23
commit 30f70ac
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Fedora-rawhide/Dockerfile b/Fedora-rawhide/Dockerfile
@@ -4,6 +4,7 @@ ENV DOCKERFILE_URL=$dockerfile_url
 
 RUN trap "cat /var/log/dnf.rpm.log" ERR && dnf -y upgrade && \
     [ -x /usr/bin/dnf ] || ln -s /usr/bin/dnf5 /usr/bin/dnf && \
+    df && \
     dnf -y install make cmake gcc-c++ \
                    util-linux \
                    gmp-devel.x86_64 mpfr-devel.x86_64 \