#! /bin/sh

if [ "x$AIME" = x ]; then
    export AIME=src/aime
fi
if [ "x$EX21" = x ]; then
    export EX21=src/ex21
fi
