From 79e0dd21ceff4d692c06d9860c321cd44db701a1 Mon Sep 17 00:00:00 2001
From: Jonathan Hui <jonhui@google.com>
Date: Tue, 30 Apr 2019 09:25:44 -0700
Subject: [PATCH] [docker] copy source rather than git clone to support CI
 (#3787)

---
 etc/docker/environment/Dockerfile | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

diff --git a/etc/docker/environment/Dockerfile b/etc/docker/environment/Dockerfile
index 6180e2ebd..7bba2b377 100644
--- a/etc/docker/environment/Dockerfile
+++ b/etc/docker/environment/Dockerfile
@@ -8,13 +8,20 @@ RUN apt-get install -y git software-properties-common sudo
 RUN apt-get install -y iproute2 psmisc rsyslog
 
 # setup openthread
-RUN git clone https://github.com/openthread/openthread.git
-RUN cd openthread && ./script/bootstrap && cd ..
+WORKDIR /
+COPY . openthread
+WORKDIR /openthread
+RUN git reset --hard && git clean -xfd
+RUN ./script/bootstrap
 
 # setup wpantund
+WORKDIR /
 RUN git clone https://github.com/openthread/wpantund.git
-RUN cd wpantund && ./script/bootstrap && ./bootstrap.sh && ./configure && sudo make -j8 && sudo make install && cd ..
+WORKDIR /wpantund
+RUN ./script/bootstrap && ./bootstrap.sh && ./configure && sudo make -j8 && sudo make install
 
-COPY ./docker-entrypoint.sh /
+# entrypoint
+WORKDIR /
+COPY etc/docker/environment/docker-entrypoint.sh /
 ENTRYPOINT ["/docker-entrypoint.sh"]
 CMD ["bash"]