#!/bin/sh
# LD_ASSUME_KERNEL=2.4.1; export LD_ASSUME_KERNEL
MIKEHOME=$HOME/MIKE; export MIKEHOME
MIKESRC=$MIKEHOME/src; export MIKESRC
MIKEBIN=$MIKEHOME/src; export MIKEBIN
cd $MIKEBIN
./mikeserver -o -X -c red > /dev/null &