diff options
Diffstat (limited to 'tools/bench')
-rw-r--r-- | tools/bench/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/bench/Makefile.am b/tools/bench/Makefile.am index 5960d038a..40a16baaa 100644 --- a/tools/bench/Makefile.am +++ b/tools/bench/Makefile.am @@ -13,7 +13,7 @@ AM_DEFAULT_SOURCE_EXT = .c LDADD = $(top_builddir)/src/libmpfr.la -bin_PROGRAMS = mpfrbench +EXTRA_PROGRAMS = mpfrbench noinst_HEADERS = benchtime.h |