dist-3.0at70b/mcon/U/kernel.U

   1 ?RCS: $Id: kernel.U,v 3.0 1993/08/18 12:08:54 ram Exp $
   2 ?RCS:
   3 ?RCS: Copyright (c) 1991-1993, Raphael Manfredi
   4 ?RCS:
   5 ?RCS: You may redistribute only under the terms of the Artistic Licence,
   6 ?RCS: as specified in the README file that comes with the distribution.
   7 ?RCS: You may reuse parts of this distribution only within the terms of
   8 ?RCS: that same Artistic Licence; a copy of which may be found at the root
   9 ?RCS: of the source tree for dist 3.0.
  10 ?RCS:
  11 ?RCS: $Log: kernel.U,v $
  12 ?RCS: Revision 3.0  1993/08/18  12:08:54  ram
  13 ?RCS: Baseline for dist 3.0 netwide release.
  14 ?RCS:
  15 ?MAKE:kernel: Getfile test
  16 ?MAKE:  -pick add $@ %<
  17 ?S:kernel:
  18 ?S:     This variable becomes the (fully rooted) path name of the kernel.
  19 ?S:.
  20 : find the name of the kernel.
  21 echo " "
  22 case "$kernel" in
  23 '')
  24         if $test -r /unix; then
  25                 dflt=/unix
  26         elif $test -r /vmunix; then
  27                 dflt=/vmunix
  28         elif $test -r /xenix; then
  29                 dflt=/xenix
  30         elif $test -r /mach; then
  31                 dflt=/mach
  32         elif $test -r /dgux; then
  33                 dflt=/dgux
  34         elif $test -r /hp-ux; then
  35                 dflt=/hp-ux
  36         elif $test -r /syst; then
  37                 dflt=/syst
  38         elif $test -r /arix; then
  39                 dflt=/arix
  40         elif $test -r /irix; then
  41                 dflt=/arix
  42         else
  43                 dflt='unknown'
  44                 set X /*x
  45                 shift
  46                 case $# in
  47                 1)
  48                         if $test -r "$1"; then
  49                                 dflt="$1"
  50                         fi
  51                         ;;
  52                 esac
  53         fi
  54         ;;
  55 *)
  56         dflt="$kernel"
  57         ;;
  58 esac
  59 fn=f
  60 rp='What is the name of your kernel?'
  61 . ./getfile
  62 kernel="$ans"
  63