commit e34f75c2671b8a7053eb28707a6e48b16e72cd0d
parent 2129946d14129c75a2afff74fa1608a6941a3176
Author: Daniel GarcĂa <dani-garcia@users.noreply.github.com>
Date: Tue, 4 Dec 2018 13:55:37 +0100
Make sure the dockerfile builds the project, instead of assuming the cached dummy is valid
Diffstat:
1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/Dockerfile b/Dockerfile
@@ -53,6 +53,9 @@ RUN find . -not -path "./target*" -delete
# To avoid copying unneeded files, use .dockerignore
COPY . .
+# Make sure that we actually build the project
+RUN touch src/main.rs
+
# Builds again, this time it'll just be
# your actual source files being built
RUN cargo build --release