Skip to content

Commit e8f7d61

Browse files
fix(docker): create results directory in container explicitly
1 parent 652efa0 commit e8f7d61

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

replication/esecfse22/Dockerfile

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -34,6 +34,7 @@ WORKDIR /home/sherlock
3434
WORKDIR /home/sherlock/holmes
3535
COPY --from=0 /home/user/target/diffdetective-1.0.0-jar-with-dependencies.jar ./DiffDetective.jar
3636
WORKDIR /home/sherlock
37+
RUN mkdir results
3738

3839
# Copy the setup
3940
COPY docs holmes/docs

0 commit comments

Comments
 (0)