90 lines
2.7 KiB
Bash
Executable File
90 lines
2.7 KiB
Bash
Executable File
#! /bin/sh
|
|
############################################################################
|
|
# Reconfigure
|
|
#
|
|
# Copyright (C) 2008 Gregory Nutt. All rights reserved.
|
|
# Author: Gregory Nutt <spudmonkey@racsa.co.cr>
|
|
#
|
|
# Redistribution and use in source and binary forms, with or without
|
|
# modification, are permitted provided that the following conditions
|
|
# are met:
|
|
#
|
|
# 1. Redistributions of source code must retain the above copyright
|
|
# notice, this list of conditions and the following disclaimer.
|
|
# 2. Redistributions in binary form must reproduce the above copyright
|
|
# notice, this list of conditions and the following disclaimer in
|
|
# the documentation and/or other materials provided with the
|
|
# distribution.
|
|
# 3. Neither the name NuttX nor the names of its contributors may be
|
|
# used to endorse or promote products derived from this software
|
|
# without specific prior written permission.
|
|
#
|
|
# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
|
|
# FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
|
|
# COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
|
|
# BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
|
|
# OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
|
|
# AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
# LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
|
|
# ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
|
|
# POSSIBILITY OF SUCH DAMAGE.
|
|
#
|
|
############################################################################
|
|
|
|
function show_usage ()
|
|
{
|
|
echo "USAGE:"
|
|
echo " ./Configure [--debug] [--help] <config-file>"
|
|
echo "OPTIONS:"
|
|
echo " --debug"
|
|
echo " Prints what script is doing"
|
|
echo " --help"
|
|
echo " Prints this information"
|
|
exit 1
|
|
}
|
|
|
|
# Process command line arguments
|
|
#
|
|
DEBUG=
|
|
CONFIGFILE=
|
|
while [ $# -gt 0 ] ; do
|
|
case "$1" in
|
|
--debug )
|
|
DEBUG=$1
|
|
;;
|
|
--help )
|
|
show_usage
|
|
exit 1
|
|
;;
|
|
* )
|
|
CONFIGFILE=$1
|
|
;;
|
|
esac
|
|
shift
|
|
done
|
|
|
|
if [ -z "${CONFIGFILE}" ]; then
|
|
echo "<config-file> not specified"
|
|
show_usage
|
|
exit 1
|
|
fi
|
|
|
|
if [ ! -x "${CONFIGFILE}" ]; then
|
|
echo "Executable <config-file>=\"${CONFIGFILE}\" does not exist"
|
|
show_usage
|
|
exit 1
|
|
fi
|
|
|
|
if [ ! -x Configure ]; then
|
|
echo "./Configure script does not exist"
|
|
exit 1
|
|
fi
|
|
|
|
cp -f ${CONFIGFILE} .config || \
|
|
{ echo "Copy of ${CONFIGFILE} .config failed" ; exit 1 ; }
|
|
|
|
./Configure --regen $DEBUG
|