diff options
-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"/> |