fixing 'make dist' issues

diff --git a/src/util/Makefile.am b/src/util/Makefile.am
index 625ff87a21a6e5dbc1c0c047af1e8e4ccf6aed5f..fd00b077de4b35c40701042b38db92e7e308f68e 100644 (file)
--- a/src/util/Makefile.am
+++ b/src/util/Makefile.am
@@ -41,7 +41,7 @@ if USE_COVERAGE
 endif
 
 if ENABLE_BENCHMARK
-  BENCHMARK = benchmark.c
+  BENCHMARK = benchmark.c benchmark.h
   PTHREAD = -lpthread
 endif