From ee2a68f924821958a853ef2e13fb0f4ecf361c60 Mon Sep 17 00:00:00 2001
From: Dimitri Fontaine <dim@tapoueh.org>
Date: Tue, 5 Jan 2016 11:28:19 +0100
Subject: [PATCH] Improve Dockerfile.

It was quite idiotic to RUN a git clone rather than just use the files
from the docker context...
---
 Dockerfile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 6739af0..80a7541 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -5,8 +5,7 @@ RUN apt-get update
 RUN apt-get install -y wget curl make git bzip2 time libzip-dev libssl1.0.0 openssl
 RUN apt-get install -y patch unzip libsqlite3-dev gawk freetds-dev sbcl
 
-RUN mkdir -p /opt/src/pgloader
-RUN git clone https://github.com/dimitri/pgloader /opt/src/pgloader
+ADD ./ /opt/src/pgloader
 
 # we have build in the .dockerignore file, but we actually need it now
 RUN mkdir -p /opt/src/pgloader/build/bin