2 # Copyright (C) 2001, 2002, 2003 Free Software Foundation, Inc.
4 # This file is part of GNU Automake.
6 # GNU Automake is free software; you can redistribute it and/or modify
7 # it under the terms of the GNU General Public License as published by
8 # the Free Software Foundation; either version 2, or (at your option)
11 # GNU Automake is distributed in the hope that it will be useful,
12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 # GNU General Public License for more details.
16 # You should have received a copy of the GNU General Public License
17 # along with Automake; see the file COPYING. If not, write to
18 # the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
19 # Boston, MA 02110-1301, USA.
21 # Make sure no-exeext option works.
27 cat >> configure.
in << 'END'
32 cat > Makefile.am
<< 'END'
42 AUTOMAKE_fails
-Wnone -Wobsolete
43 grep 'deprecated.*maude' stderr
45 grep 'deprecated.*maude' stderr
46 grep 'overrid.*maude' stderr
48 echo 'AUTOMAKE_OPTIONS = no-exeext' >> Makefile.am
50 $AUTOMAKE -Wall -Wno-override