vchoi_fork

#! /bin/sh

# Attempt to guess a canonical system name.

#   Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999,

#   2000, 2001, 2002, 2003, 2004, 2005 Free Software Foundation, Inc.

​

timestamp='2005-02-10'

​

# This file 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 Foundation; either version 2 of the License, or

# (at your option) any later version.

#

# This program 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 this program; if not, write to the Free Software

# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.

#

# As a special exception to the GNU General Public License, if you

# distribute this file as part of a program that contains a

# configuration script generated by Autoconf, you may include it under

# the same distribution terms that you use for the rest of that program.

​

# Originally written by Per Bothner <per@bothner.com>.

# Please send patches to <config-patches@gnu.org>.  Submit a context

# diff and a properly formatted ChangeLog entry.

#

# This script attempts to guess a canonical system name similar to

# config.sub.  If it succeeds, it prints the system name on stdout, and

# exits with 0.  Otherwise, it exits with 1.

#

# The plan is that this can be called by configure scripts if you

# don't specify an explicit build system type.

​

me=`echo "$0" | sed -e 's,.*/,,'`

​

usage="\

Usage: $0 [OPTION]

​

Output the configuration name of the system \`$me' is run on.

​

Operation modes:

  -h, --help         print this help, then exit

  -t, --time-stamp   print date of last modification, then exit

  -v, --version      print version number, then exit

​

Report bugs and patches to <config-patches@gnu.org>."

​