commit 9a43f16959a02d6040ce5916176f11a33606017a
author Shuo Chen <chenatu2006@gmail.com> Tue Jul 01 13:43:54 2014 +0800
committer Alexander Afanasyev <alexander.afanasyev@ucla.edu> Tue Jul 08 17:14:16 2014 -0700
tree 7de2e8b03b6759bf8a887f5c8f6999441d851eef
parent 5d9c4191e2c7c4863fd974c621d71169dedaceb2

storage: skiplist for repo index

This version of skiplist is low efficient because of the map in it

Change-Id: Idecc9016619ca9ab5cbb17b078f71b1cc3d4b03e
refs #1737

wscript

diff --git a/wscript b/wscript
index b97c9f6..ccd14d3 100644
--- a/wscript
+++ b/wscript
@@ -29,7 +29,7 @@
 
     conf.env['WITH_TOOLS'] = conf.options.with_tools
 
-    USED_BOOST_LIBS = ['system', 'iostreams', 'filesystem']
+    USED_BOOST_LIBS = ['system', 'iostreams', 'filesystem', 'random']
     if conf.env['WITH_TESTS']:
         USED_BOOST_LIBS += ['unit_test_framework']
     conf.check_boost(lib=USED_BOOST_LIBS, mandatory=True)