From: Max Khizhinsky <libcds.dev@gmail.com>
Date: Fri, 3 Apr 2015 06:46:57 +0000 (+0300)
Subject: Merge pull request #25 from krinkinmu/header-deps-wip
X-Git-Tag: v2.1.0~284^2
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=libcds.git;a=commitdiff_plain;h=dd5e338572a0371e42c373e0ba3557a863602404;hp=54308b794076de8850b6a92e0f789fa804e45d6d

Merge pull request #25 from krinkinmu/header-deps-wip

Add header file dependencies to build script.
---