From b8d172fa2b2ab1e6bae863103d2788c21d25570a Mon Sep 17 00:00:00 2001
From: Oliver Giles <ohw.giles@gmail.com>
Date: Tue, 26 Jul 2016 13:02:58 +0300
Subject: [PATCH] change docker script to build for debian

---
 docker-build-ubuntu.sh => docker-build-debian.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 rename docker-build-ubuntu.sh => docker-build-debian.sh (98%)

diff --git a/docker-build-ubuntu.sh b/docker-build-debian.sh
similarity index 98%
rename from docker-build-ubuntu.sh
rename to docker-build-debian.sh
index aa7f98b..71d797b 100755
--- a/docker-build-ubuntu.sh
+++ b/docker-build-debian.sh
@@ -6,7 +6,7 @@ OUTPUT_DIR=$PWD
 
 SOURCE_DIR=$(readlink -f $(dirname ${BASH_SOURCE[0]}))
 
-docker run --rm -i -v $SOURCE_DIR:/laminar:ro -v $OUTPUT_DIR:/output ubuntu bash -xe <<EOS
+docker run --rm -i -v $SOURCE_DIR:/laminar:ro -v $OUTPUT_DIR:/output debian:stable bash -xe <<EOS
 
 apt-get update
 apt-get install -y wget cmake g++ libsqlite3-dev libboost-filesystem1.55-dev zlib1g-dev