blob: c5c4d6ec60d0f454a52887edee179b60c9186508 (
plain) (
tree)
|
|
#! /usr/bin/env bash
DIR="$( cd "$( dirname "$0" )" && pwd )"
SOURCE=$DIR/Gen.scala
CLASS=./Gen.class
if [ ! -e $CLASS ] || [ $SOURCE -nt $CLASS ]; then
./bin/dotc $DIR/Gen.scala
fi
./bin/dotr Gen $@
|