#!/bin/sh

# $Id: config,v 1.3 2000/05/16 03:17:47 ben Exp $

sysname=`uname`
mdir="makefiles"
makefile="$mdir/Makefile.$sysname"

if [ ! -f $makefile ]; then
    echo "System type '$sysname' not currently supported."
    exit
fi

ln -sf $makefile Makefile

if [ ! -L Kr ]; then
    ln -s . Kr
fi