diff options
author | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2014-01-23 21:15:27 +0000 |
---|---|---|
committer | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2014-01-23 21:15:27 +0000 |
commit | db772a8e76913e6a54dcf6704f7d6264a376bb51 (patch) | |
tree | e9c1952251b5742e5df56c2c055a0af7b21f9179 /tools | |
parent | 342a5d113b4aca41e5bbfb8da62cbc3cef878ec9 (diff) | |
download | mpfr-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.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 |