diff --git a/Config b/Config index 39a493fc7d4c54267bf3018aa66a1770b5f2ee8b..c98a61c08b111fd9cf1666115486f0671f923f83 100755 --- a/Config +++ b/Config @@ -1,18 +1,27 @@ #!/bin/sh -# $Id: Config,v 1.2 1991/08/30 02:32:32 ceder Exp $ +# $Id: Config,v 1.3 1991/08/30 03:16:52 ceder Exp $ + +x= [ -d include ] || mkdir include case "$1" in +help | +hel | +he | +h | -h | -H) echo Usage: ./Config hosttype echo where hosttype is one of - echo balance sparc + echo balance sparc;; balance) - ln -s ../config/balance-config.h include/m-config.h - ln -s ../config/balance-defs.make scripts/import.make;; + x=balance;; sun4 | sun4os4 | sparc | sparcos4) - ln -s ../config/sun4os4-config.h include/m-config.h - ln -s ../config/sun4os4-defs.make scripts/import.make;; + x=sun4os4;; *) echo Unsupported host type "$1". - false;; + x=error;; +esac + +case "$x" in +error) false;; +*) + rm -f include/m-config.h + rm -f scripts/import.make + ln -s ../config/${x}-config.h include/m-config.h + ln -s ../config/${x}-defs.make scripts/import.make;; esac