diff options
Diffstat (limited to 'tools/Makefile.am')
-rw-r--r-- | tools/Makefile.am | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/tools/Makefile.am b/tools/Makefile.am new file mode 100644 index 0000000..b91ddf6 --- /dev/null +++ b/tools/Makefile.am @@ -0,0 +1,21 @@ +## tools/Makefile.am -- Process this file with automake to produce Makefile.in +## +## Copyright (C) 2014 INRIA +## +## This file is part of GNU MPC. +## +## GNU MPC is free software; you can redistribute it and/or modify it under +## the terms of the GNU Lesser General Public License as published by the +## Free Software Foundation; either version 3 of the License, or (at your +## option) any later version. +## +## GNU MPC is distributed in the hope that it will be useful, but WITHOUT ANY +## WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS +## FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for +## more details. +## +## 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 + |