diff options
| author | Kévin THIERRY <kevin.thierry@open.eurogiciel.org> | 2014-11-05 08:27:15 +0100 |
|---|---|---|
| committer | Kévin THIERRY <kevin.thierry@open.eurogiciel.org> | 2014-11-05 08:27:15 +0100 |
| commit | e15597c3e85dedc015ff923a88febd46a1551f71 (patch) | |
| tree | 467fdb092d1fa76bcb63d4db653e8176dae24e62 /remote-stub.c | |
| parent | 9789b4dba120180760ec948089fc98ebab6eb28b (diff) | |
| download | make-e15597c3e85dedc015ff923a88febd46a1551f71.tar.gz make-e15597c3e85dedc015ff923a88febd46a1551f71.tar.bz2 make-e15597c3e85dedc015ff923a88febd46a1551f71.zip | |
Imported Upstream version 4.0upstream/4.0sandbox/kevinthierry/upstream
Diffstat (limited to 'remote-stub.c')
| -rw-r--r-- | remote-stub.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/remote-stub.c b/remote-stub.c index e58b72c..45c3a7c 100644 --- a/remote-stub.c +++ b/remote-stub.c @@ -1,7 +1,5 @@ /* Template for the remote job exportation interface to GNU Make. -Copyright (C) 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, -1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, -2010 Free Software Foundation, Inc. +Copyright (C) 1988-2013 Free Software Foundation, Inc. This file is part of GNU Make. GNU Make is free software; you can redistribute it and/or modify it under the @@ -16,7 +14,7 @@ A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program. If not, see <http://www.gnu.org/licenses/>. */ -#include "make.h" +#include "makeint.h" #include "filedef.h" #include "job.h" #include "commands.h" |