[GNUnet-SVN] [gnunet] branch master updated: fixing 'make dist' issues

[gnunet]

This is an automated email from the git hooks/post-receive script.

grothoff pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new 936310786 fixing 'make dist' issues
936310786 is described below

commit 9363107861e2702815b97bc71c8684d55f8f3274
Author: Christian Grothoff <address@hidden>
AuthorDate: Wed Feb 13 00:42:55 2019 +0100

    fixing 'make dist' issues
---
 src/util/Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/Makefile.am b/src/util/Makefile.am
index 625ff87a2..fd00b077d 100644
--- 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
 

-- 
To stop receiving notification emails like this one, please contact
address@hidden