change docker script to build for debian

ohwgiles · Jul 26, 2016 · b8d172f · b8d172f
1 parent 4e91175
commit b8d172f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docker-build-ubuntu.sh → docker-build-debian.sh b/docker-build-ubuntu.sh → 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