From fecd6f1a0b2f0031da1db7b86a9350fbe01abb7f Mon Sep 17 00:00:00 2001
From: Pirmin Kalberer <pka@sourcepole.ch>
Date: Sat, 27 Jan 2018 23:35:11 +0100
Subject: [PATCH] Workaround for ./install.sh: Text file busy

---
 rust/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rust/Dockerfile b/rust/Dockerfile
index 53e940a..3ec2f10 100644
--- a/rust/Dockerfile
+++ b/rust/Dockerfile
@@ -5,7 +5,7 @@ LABEL maintainer="Johannes Schickling <schickling.j@gmail.com>"
 ENV USER root
 
 ADD install.sh install.sh
-RUN chmod +x install.sh && ./install.sh && rm install.sh
+RUN chmod +x install.sh && sync && ./install.sh && rm install.sh
 
 VOLUME ["/source"]
 WORKDIR /source