From 79d9d063a3a65a764d2c4dcc44ed6d05189a13a2 Mon Sep 17 00:00:00 2001
From: Vincent Rischmann
Date: Sat, 13 Mar 2021 22:30:18 +0100
Subject: tools: copy the c directory before since it basically never changes

---
 tools/Dockerfile.debian | 2 +-
 tools/Dockerfile.fedora | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/Dockerfile.debian b/tools/Dockerfile.debian
index 327dac0..76099d0 100644
--- a/tools/Dockerfile.debian
+++ b/tools/Dockerfile.debian
@@ -12,7 +12,7 @@ RUN mv /zig/zig-linux-* /zig/zig-master
 
 WORKDIR /work
 
-COPY *.zig .
 COPY c c
+COPY *.zig .
 
 ENTRYPOINT ["/bin/bash"]
diff --git a/tools/Dockerfile.fedora b/tools/Dockerfile.fedora
index a3b5c22..f907d00 100644
--- a/tools/Dockerfile.fedora
+++ b/tools/Dockerfile.fedora
@@ -12,7 +12,7 @@ RUN mv /zig/zig-linux-* /zig/zig-master
 
 WORKDIR /work
 
-COPY *.zig .
 COPY c c
+COPY *.zig .
 
 ENTRYPOINT ["/bin/bash"]
-- 
cgit v1.2.3