From 7f3637235146bd8569d8474b87092f39f9fc4e50 Mon Sep 17 00:00:00 2001
From: fgerlits <fgerlits@cfc7b370-4200-0410-a6e3-cb6bdb053afe>
Date: Mon, 4 Sep 2006 12:40:59 +0000
Subject: [PATCH] addendum to [2258] (part of #1775)

---
 livesupport/bin/dist.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/livesupport/bin/dist.sh b/livesupport/bin/dist.sh
index f7e96463b..754582977 100755
--- a/livesupport/bin/dist.sh
+++ b/livesupport/bin/dist.sh
@@ -145,7 +145,7 @@ etc_tmpdir=$ls_tmpdir/etc
 tmp_tmpdir=$ls_tmpdir/tmp
 
 boost_dir=$toolsdir/boost
-boost_version=boost-1.31
+boost_version=boost-1.33.1
 boost_tmpdir=$tools_tmpdir/boost
 
 libxmlxx_dir=$toolsdir/libxml++