1  /* Record version and build host architecture for GNU make.
       2  Copyright (C) 1988-2022 Free Software Foundation, Inc.
       3  This file is part of GNU Make.
       4  
       5  GNU Make is free software; you can redistribute it and/or modify it under the
       6  terms of the GNU General Public License as published by the Free Software
       7  Foundation; either version 3 of the License, or (at your option) any later
       8  version.
       9  
      10  GNU Make is distributed in the hope that it will be useful, but WITHOUT ANY
      11  WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
      12  A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
      13  
      14  You should have received a copy of the GNU General Public License along with
      15  this program.  If not, see <https://www.gnu.org/licenses/>.  */
      16  
      17  /* We use <config.h> instead of "config.h" so that a compilation
      18     using -I. -I$srcdir will use ./config.h rather than $srcdir/config.h
      19     (which it would do because makeint.h was found in $srcdir).  */
      20  #include <config.h>
      21  
      22  #ifndef MAKE_HOST
      23  # define MAKE_HOST "unknown"
      24  #endif
      25  
      26  const char *version_string = PACKAGE_VERSION;
      27  const char *make_host = MAKE_HOST;
      28  
      29  /*
      30    Local variables:
      31    version-control: never
      32    End:
      33   */