mv fix

open-s4c · Dec 3, 2024 · 4527045 · 4527045
1 parent 8173692
commit 4527045
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -69,7 +69,8 @@ RUN apt-get update  \
 RUN cd /tmp \
  && git clone --depth 1 \
      https://github.com/StefanoDalMas/Dat3M.git
- && mv Dat3M dat3m
+
+RUN mv Dat3M dat3m
 
 RUN cd /tmp/dat3m \
  && mvn clean install -DskipTests \