From 0b3e77da7599d1a0e100cfef85e07cc71b3ff136 Mon Sep 17 00:00:00 2001
From: Thomas Orozco <thomas@orozco.fr>
Date: Sat, 28 Feb 2015 19:05:25 -0500
Subject: [PATCH] Ensure we always build in a clean environment

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

diff --git a/Dockerfile b/Dockerfile
index f2ff7fc..9382161 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -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"]