| #!/bin/sh |
| # |
| # $Id$ |
| # |
| # script to configure the C++ Standard library |
| # |
| ############################################################################## |
| |
| CONFIG_FILE="config.h" |
| TOPDIR=":" |
| |
| # process command line arguments |
| for f in $* ; do |
| if [ "$CONFIG_FILE" = "" ] ; then |
| CONFIG_FILE="$f" |
| continue |
| elif [ "$TOPDIR" = "" ] ; then |
| TOPDIR="$f" |
| continue |
| elif [ "$f" = "-f" ] ; then |
| unset CONFIG_FILE |
| continue |
| elif [ "$f" = "-d" ] ; then |
| unset TOPDIR |
| continue |
| fi |
| done |
| |
| if [ ! -d "$TOPDIR" ] ; then |
| echo "TOPDIR ('$TOPDIR') not found." |
| exit 1 |
| fi |
