Ensure we always build in a clean environment

10 years ago · 0b3e77da75
parent 04119b2869
commit 0b3e77da75
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -3,6 +3,6 @@ FROM ubuntu
 RUN apt-get update && apt-get install --no-install-recommends -y build-essential gdb && rm -rf /var/lib/apt/lists/*

 ADD . /tini
-RUN cd /tini && make
+RUN cd /tini && make clean && make

 ENTRYPOINT ["/tini/tini"]