diff options
Diffstat (limited to 'runner.sh')
-rwxr-xr-x | runner.sh | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -16,9 +16,9 @@ function run_with_java() { java -cp $dirname $filename } -function typecheck() { - # typecheck the file - java typecheck < $1 +function heat() { + # heat the file + java Typecheck < $1 } function boil() { @@ -62,8 +62,8 @@ case "$1" in "java") run_with_java "$2" ;; - "typecheck") - typecheck "$2" + "heat") + heat "$2" ;; "boil") boil "$2" @@ -75,7 +75,7 @@ case "$1" in condense "$2" ;; *) - echo "usage $0 [java|typecheck|boil|vaporize|condense]" + echo "usage $0 [java|heat|boil|vaporize|condense]" exit 1 ;; esac |