summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2014-01-23 21:15:27 +0000
committerzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2014-01-23 21:15:27 +0000
commitdb772a8e76913e6a54dcf6704f7d6264a376bb51 (patch)
treee9c1952251b5742e5df56c2c055a0af7b21f9179 /tools
parent342a5d113b4aca41e5bbfb8da62cbc3cef878ec9 (diff)
downloadmpfr-db772a8e76913e6a54dcf6704f7d6264a376bb51.tar.gz
revert to EXTRA_PROGRAMS (bin_PROGRAMS is installed in /usr/local/bin,
which is not what we want, we could use noinst_PROGRAMS, which would be compiled automatically, but for coherence with GNU MPC we use EXTRA_PROGRAMS which is not compiled automatically) git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8883 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
-rw-r--r--tools/bench/Makefile.am2
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