2 # Copyright (C) 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 Makefile.in are up to date after make dist.
22 # This is expected to work even without GNU Make (the GNU Make
23 # feature that isn't supported elsewhere is the rebuild of
24 # Makefile dependencies during ordinary builds).
26 # If this fails, this is likely to be due to a dependency being
27 # given two different name. For instance BSD Make does not know
28 # that `Makefile' is the same as `./Makefile'
30 # Report from Akim Demaille.
36 cat >>configure.
in <<'EOF'
37 # Rebuild rule are ok until make dist, but not afterwards.
38 if test ! -f rebuild_ok; then
51 $AUTOMAKE --add-missing