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