From 645ed81aea1a672dfc8e9370a2d3e344d6a5c55f Mon Sep 17 00:00:00 2001 From: Oliver Giles Date: Sun, 6 Dec 2015 11:38:49 +0100 Subject: [PATCH] use boost 1.55 for compatibility with debian jessie --- docker-build-ubuntu.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docker-build-ubuntu.sh b/docker-build-ubuntu.sh index a32a079..2f9756c 100755 --- a/docker-build-ubuntu.sh +++ b/docker-build-ubuntu.sh @@ -10,7 +10,7 @@ SOURCE_DIR=$(readlink -f $(dirname ${BASH_SOURCE[0]})) docker run -i -v $SOURCE_DIR:/laminar:ro -v $OUTPUT_DIR:/output ubuntu bash -xe < laminar/DEBIAN/postinst