summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2015-09-04 09:57:08 +0000
committerzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2015-09-04 09:57:08 +0000
commit6ce061030c8d0168ce8646e2a78f159c6bef2a0b (patch)
treea6d9fab8ddbd34e87b5bdd90571837e06dbc4482
parenta0631fc68a1279627b407e4d7f4ef6f3d6db1a0b (diff)
downloadmpfr-6ce061030c8d0168ce8646e2a78f159c6bef2a0b.tar.gz
distribute the mpfrbench README
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9671 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--tools/bench/Makefile.am2
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