diff options
Diffstat (limited to 'tools/bench/Makefile.am')
-rw-r--r-- | tools/bench/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/bench/Makefile.am b/tools/bench/Makefile.am index 40a16baaa..78de0fe62 100644 --- a/tools/bench/Makefile.am +++ b/tools/bench/Makefile.am @@ -15,6 +15,8 @@ LDADD = $(top_builddir)/src/libmpfr.la EXTRA_PROGRAMS = mpfrbench - noinst_HEADERS = benchtime.h +bench : mpfrbench + ./mpfrbench + |