# HG changeset patch
# User Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
# Date 1435938025 14400
# Node ID c3da169e5719ad9001a397720a882e6294ab5e00
# Parent  9626af32f256cdb211e80b6874f2e4bf7f4b260e
common: install missing headers

Some headers managed to not get installed.  Currently, all headers need to
always be installed.

Signed-off-by: Josef 'Jeff' Sipek <jeffpc@josefsipek.net>

diff -r 9626af32f256 -r c3da169e5719 src/common/CMakeLists.txt
--- a/src/common/CMakeLists.txt	Fri Jul 03 11:37:06 2015 -0400
+++ b/src/common/CMakeLists.txt	Fri Jul 03 11:40:25 2015 -0400
@@ -39,9 +39,11 @@
 		include/nomad/attr.h
 		include/nomad/config.h
 		include/nomad/error.h
+		include/nomad/malloc.h
 		include/nomad/rand.h
 		include/nomad/time.h
 		include/nomad/types.h
+		include/nomad/vclock.h
 	DESTINATION include/nomad
 	PERMISSIONS OWNER_READ GROUP_READ WORLD_READ)