diff options
Diffstat (limited to 'tools/Makefile.am')
-rw-r--r-- | tools/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/Makefile.am b/tools/Makefile.am index 5730d54..86257e1 100644 --- a/tools/Makefile.am +++ b/tools/Makefile.am @@ -1,6 +1,7 @@ ## tools/Makefile.am -- Process this file with automake to produce Makefile.in ## ## Copyright (C) 2014 CNRS +## Copyright (C) 2020 INRIA ## ## This file is part of GNU MPC. ## @@ -17,5 +18,5 @@ ## You should have received a copy of the GNU Lesser General Public License ## along with this program. If not, see http://www.gnu.org/licenses/ . -SUBDIRS = bench +SUBDIRS = bench mpcheck |