From: Guillermo J. Rozas Date: Wed, 3 Nov 1993 22:08:04 +0000 (+0000) Subject: Add call to usage in default in discriminate. X-Git-Tag: 20090517-FFI~7612 X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=e5e4b1ddc23be6ec168b87ab0fae2d11782667e1;p=mit-scheme.git Add call to usage in default in discriminate. --- diff --git a/v7/src/microcode/unxutl/config b/v7/src/microcode/unxutl/config index 133c26299..f862ac34a 100755 --- a/v7/src/microcode/unxutl/config +++ b/v7/src/microcode/unxutl/config @@ -1,6 +1,6 @@ #!/bin/sh # Configuration script for MIT Scheme -# $Id: config,v 1.23 1993/10/26 23:12:54 gjr Exp $ +# $Id: config,v 1.24 1993/11/03 22:08:04 gjr Exp $ # Modelled on the configuration script for GNU CC # The section between lines is the copyright prefix from the GNU CC config. #---------------------------------------------------------------------- @@ -35,6 +35,24 @@ # config.out is removed. # +usage() +{ + echo "Usage: $progname [-C-back-end | -native-back-end] machine" + echo "Where \`machine' is one of:" + echo "alpha-osf alpha" + echo "mips-ultrix nws3250 sgi4d" + echo "hp9k300 hp9k400 hp9k700 hp9k800 next" + echo "sun3 sun3-os3 sun3-nfp sun3-os3-nfp sun4 sparc" + echo "i386-sysv 386bsd umax" + echo "vax-bsd42 vax-bsd43 vax-ultrix" + if [ -r config.out ] + then + cat config.out + fi + exit 1; +} + + discriminate() { machine=$1 @@ -129,7 +147,7 @@ discriminate() cmpaux_file=mc68k.m4 cmp_file=sun3-nfp.s ;; - sun4) + sun4 sparc) system_file=sunos4 machine_file=sun4 ;; @@ -157,7 +175,7 @@ discriminate() ;; *) echo "$progname: unknown machine name: $machine" - exit 1 + usage esac; } @@ -271,25 +289,6 @@ perform() | tee config.out } -usage() -{ - echo "Usage: $progname [-C-back-end | -native-back-end] machine" - echo "Where \`machine' is one of:" - echo "alpha-osf alpha" - echo "mips-ultrix nws3250 sgi4d" - echo "hp9k300 hp9k400 hp9k700 hp9k800 next" - echo "sun3 sun3-os3 sun3-nfp sun3-os3-nfp sun4" - echo "i386-sysv 386bsd umax" - echo "vax-bsd42 vax-bsd43 vax-ultrix" - if [ -r config.out ] - then - cat config.out - fi - exit 1; -} - - - progname=$0 remove=rm