= p :/ksos/bin:/bin:/usr/bin
goto _
	@(#)Kconf.sh	1.4
	Makes Kernel configuration files for compilation.
	Created 13 Oct 1980 by R. B. Neely
NOTE CHANGES: 'ksos' changed to 'ksb' in this file ONLY (tom 6/6/85)
NOTE CHANGES: 'ksb/kernel' changed to 'misc/newKernel' in this file ONLY (tom 6/19/86)
:    _

if "{$1}" = {} then
    echo "No EPL file given"
    exit 2
endif
if ! -r "$1" then
    echo "Cannot read $1"
    exit 2
endif

echo "Configuration site name: \c"
= f </dev/tty

grep "KERconf\.mod" $1 | sed -e 's/^.*	//' | = i
grep "$f\.sce" $1 | sed -e 's/^.*	//' | = j
grep "IODconf\.mod" $1 | sed -e 's/^.*	//' | = k
grep "$fD\.sce" $1 | sed -e 's/^.*	//' | = l
= e 1

echo "GENERAL CONSTANTS"
echo "  Version of KERconf.mod ($i): \c"
= a </dev/tty
if "{$a}" != {} then
    = a -r"$a"
else
    if "{$i}" != {} then
	= a -r$i
	= e 0
    endif
endif
echo "  Version of $f ($j): \c"
= b </dev/tty
if "{$b}" != {} then
    = b -r"$b"
else
    if "{$j}" != {} then
	= b -r$j
	= e 0
    endif
endif
sce -u /misc/newKernel/code/s.KERconf.mod $a /misc/newKernel/code/s.$f.sce $b
if $r -ne 0 exit 2

echo "HARDWARE CONFIGURATION"
echo "  Version of IODconf.mod ($k): \c"
= a </dev/tty
if "{$a}" != {} then
    = a -r"$a"
else
    if "{$k}" != {} then
	= a -r$k
	= e 0
    endif
endif
echo "  Version of $fD ($l): \c"
= b </dev/tty
if "{$b}" != {} then
    = b -r"$b"
else
    if "{$l}" != {} then
	= b -r$l
	= e 0
    endif
endif
sce -u /misc/newKernel/KIO/IOD/src/s.IODconf.mod $a /misc/newKernel/code/s.$fD.sce $b
: 'changed location of IODconf in above line - tom 6 6 85'
if $r -ne 0 exit 2

exit $e
