dat3m rename

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