diff options
author | paltherr <paltherr@epfl.ch> | 2003-08-25 15:48:59 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-08-25 15:48:59 +0000 |
commit | c4e4065bfebbb7aef8a4b7abf450c4f532baba9c (patch) | |
tree | 75c97492758e3dca77c47e113beef963cb634b3f /test/bin/scala-test | |
parent | 8246648ff155849e494b3be34faa7439dc23e9eb (diff) | |
download | scala-c4e4065bfebbb7aef8a4b7abf450c4f532baba9c.tar.gz scala-c4e4065bfebbb7aef8a4b7abf450c4f532baba9c.tar.bz2 scala-c4e4065bfebbb7aef8a4b7abf450c4f532baba9c.zip |
- Fixed transformation dtd2scala name
- Updated for new dtd2scala command line
Diffstat (limited to 'test/bin/scala-test')
-rwxr-xr-x | test/bin/scala-test | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/test/bin/scala-test b/test/bin/scala-test index 2c6088bdb1..2f1ce031b5 100755 --- a/test/bin/scala-test +++ b/test/bin/scala-test @@ -145,9 +145,8 @@ test_xml() { fi; rm -rf "$output"; mkdir -p "$output" && - cp "$dtdfile" "$output/" && - cp "$xmlfile" "$output/dtd.xml" && - ( cd "$output"; $DTD2SCALA dtd.xml dtd ) && + cp "$dtdfile" "$output/dtd.dtd" && + ( cd "$output"; $DTD2SCALA dtd.dtd dtd ) && $SOCOS -d "$output" $TEST_FLAGS $FLAGS "$objfile" "$source" && java -classpath "$classpath" Test "$xmlfile" && rm -rf "$output"; @@ -254,7 +253,7 @@ test_all() { test_interpretation "int" $FILES_RUN $FILES_INT; test_one "Testing jvm backend" \ test_compilation "jvm" $FILES_RUN $FILES_JVM; - test_one "Testing scala2xml tool" \ + test_one "Testing dtd2scala tool" \ test_xml "xml" $FILES_XML; test_one "Testing compiler (on files whose compilation should succeed)" \ test_compilation_success "pos" $FILES_POS; @@ -276,7 +275,7 @@ print_help() { echo "--run next files test the interpreter and all backends"; echo "--int next files test the interpreter"; echo "--jvm next files test the jvm backend"; - echo "--xml next files test the scala2xml tool"; + echo "--xml next files test the dtd2scala tool"; echo "--pos next files test a compilation success"; echo "--neg next files test a compilation failure"; echo "--no-run run no test, use results of last run"; |