diff options
author | Christian Grothoff <christian@grothoff.org> | 2019-02-13 00:42:55 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2019-02-13 00:42:55 +0100 |
commit | 9363107861e2702815b97bc71c8684d55f8f3274 (patch) | |
tree | 93aaac844fbfc279151bef65c9484ee6aaa2f58c /src/util/Makefile.am | |
parent | 31bef70568177a32929331e73a18e852bee7bd08 (diff) | |
download | gnunet-9363107861e2702815b97bc71c8684d55f8f3274.tar.gz gnunet-9363107861e2702815b97bc71c8684d55f8f3274.zip |
fixing 'make dist' issues
Diffstat (limited to 'src/util/Makefile.am')
-rw-r--r-- | src/util/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
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 | |||
41 | endif | 41 | endif |
42 | 42 | ||
43 | if ENABLE_BENCHMARK | 43 | if ENABLE_BENCHMARK |
44 | BENCHMARK = benchmark.c | 44 | BENCHMARK = benchmark.c benchmark.h |
45 | PTHREAD = -lpthread | 45 | PTHREAD = -lpthread |
46 | endif | 46 | endif |
47 | 47 | ||