diff options
Diffstat (limited to 'src/util')
-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 | ||