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 | ||