diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index a286ce7..be2ade6 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1,6 +1,6 @@ ## Makefile.am -- Process this file with automake to produce Makefile.in ## -## Copyright (C) 2008, 2010, 2011, 2012, 2013, 2014 INRIA +## Copyright (C) 2008, 2010, 2011, 2012, 2013, 2014, 2020 INRIA ## ## This file is part of GNU MPC. ## @@ -32,3 +32,6 @@ EXTRA_DIST = doc/fdl-1.3.texi src/mpc-log.h Makefile.vc bench : cd tools/bench && $(MAKE) $(AM_MAKEFLAGS) bench +mpcheck : + cd tools/mpcheck && $(MAKE) $(AM_MAKEFLAGS) mpcheck + |