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