diff options
-rw-r--r-- | tools/bench/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/bench/Makefile.am b/tools/bench/Makefile.am index 711d006d1..173a78bee 100644 --- a/tools/bench/Makefile.am +++ b/tools/bench/Makefile.am @@ -15,6 +15,8 @@ LDADD = $(top_builddir)/src/libmpfr.la EXTRA_PROGRAMS = mpfrbench +EXTRA_DIST = README + noinst_HEADERS = benchtime.h bench : mpfrbench |