#! /bin/sh

SSET=0

if [ $# = 1 ]; then
    if [ "x$1" = "x1" ]; then
	SSET=1
    fi
fi

if [ $SSET = 0 ]; then
    export AIME='src/aime -f'
    export EX21=src/ex21
    export TF18=src/tf18
elif [ "$SSET" = 1 ]; then
    export AIME=src/aime
    export EX21='src/ex21 -s'
    export TF18='src/tf18 -s'
fi
