diff options
author | Burak Emir <emir@epfl.ch> | 2005-07-30 23:19:13 +0000 |
---|---|---|
committer | Burak Emir <emir@epfl.ch> | 2005-07-30 23:19:13 +0000 |
commit | adf2ae34ae3b06d687a1d303886f1818d871d0e4 (patch) | |
tree | 0ee5e8d6c6251d60a9602c7fcb5014556f4625bf | |
parent | 526917486633c5f69aab6fe64021b2c0998b74c6 (diff) | |
download | scala-adf2ae34ae3b06d687a1d303886f1818d871d0e4.tar.gz scala-adf2ae34ae3b06d687a1d303886f1818d871d0e4.tar.bz2 scala-adf2ae34ae3b06d687a1d303886f1818d871d0e4.zip |
demonstrates nscArgs and userExclude feature fo...
demonstrates nscArgs and userExclude feature for build and test
infrastructure
-rw-r--r-- | developer/emir/build-nsc-excludes.xml | 2 | ||||
-rw-r--r-- | developer/emir/custom.properties | 2 | ||||
-rw-r--r-- | developer/emir/test-nsc-excludes.xml | 1 |
3 files changed, 5 insertions, 0 deletions
diff --git a/developer/emir/build-nsc-excludes.xml b/developer/emir/build-nsc-excludes.xml new file mode 100644 index 0000000000..544d00954d --- /dev/null +++ b/developer/emir/build-nsc-excludes.xml @@ -0,0 +1,2 @@ +<exclude name="scala/io/UTF8String"/> +<exclude name="scala/tools/nsc/backend/**"/> diff --git a/developer/emir/custom.properties b/developer/emir/custom.properties new file mode 100644 index 0000000000..7d21fd20e1 --- /dev/null +++ b/developer/emir/custom.properties @@ -0,0 +1,2 @@ +nscArgs = -check:term;-check:transmatch;-debug + diff --git a/developer/emir/test-nsc-excludes.xml b/developer/emir/test-nsc-excludes.xml new file mode 100644 index 0000000000..c6e7e5f991 --- /dev/null +++ b/developer/emir/test-nsc-excludes.xml @@ -0,0 +1 @@ +<exclude name="scala/io/UTF8String"/> |