2006-02-11 19:02:21 +00:00
|
|
|
|
/* Record version and build host architecture for GNU make.
|
2016-02-28 17:55:20 +00:00
|
|
|
|
Copyright (C) 1988-2016 Free Software Foundation, Inc.
|
2006-02-11 19:02:21 +00:00
|
|
|
|
This file is part of GNU Make.
|
|
|
|
|
|
|
|
|
|
GNU Make is free software; you can redistribute it and/or modify it under the
|
|
|
|
|
terms of the GNU General Public License as published by the Free Software
|
2007-07-04 19:35:15 +00:00
|
|
|
|
Foundation; either version 3 of the License, or (at your option) any later
|
|
|
|
|
version.
|
2006-02-11 19:02:21 +00:00
|
|
|
|
|
|
|
|
|
GNU Make 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 General Public License for more details.
|
|
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License along with
|
2007-07-04 19:35:15 +00:00
|
|
|
|
this program. If not, see <http://www.gnu.org/licenses/>. */
|
2006-02-11 19:02:21 +00:00
|
|
|
|
|
1997-08-18 18:11:04 +00:00
|
|
|
|
/* We use <config.h> instead of "config.h" so that a compilation
|
|
|
|
|
using -I. -I$srcdir will use ./config.h rather than $srcdir/config.h
|
2013-01-20 16:01:01 +00:00
|
|
|
|
(which it would do because makeint.h was found in $srcdir). */
|
1997-08-18 18:11:04 +00:00
|
|
|
|
#include <config.h>
|
|
|
|
|
|
1999-09-01 08:04:30 +00:00
|
|
|
|
#ifndef MAKE_HOST
|
|
|
|
|
# define MAKE_HOST "unknown"
|
|
|
|
|
#endif
|
|
|
|
|
|
2014-04-25 21:10:47 +00:00
|
|
|
|
const char *version_string = VERSION;
|
|
|
|
|
const char *make_host = MAKE_HOST;
|
1995-03-07 23:44:43 +00:00
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
|
Local variables:
|
|
|
|
|
version-control: never
|
|
|
|
|
End:
|
|
|
|
|
*/
|