diff options
Diffstat (limited to 'developer')
-rw-r--r-- | developer/emir/build-nsc-excludes.xml | 2 | ||||
-rw-r--r-- | developer/emir/custom.properties | 5 | ||||
-rw-r--r-- | developer/emir/test-nsc-excludes.xml | 12 |
3 files changed, 0 insertions, 19 deletions
diff --git a/developer/emir/build-nsc-excludes.xml b/developer/emir/build-nsc-excludes.xml deleted file mode 100644 index 544d00954d..0000000000 --- a/developer/emir/build-nsc-excludes.xml +++ /dev/null @@ -1,2 +0,0 @@ -<exclude name="scala/io/UTF8String"/> -<exclude name="scala/tools/nsc/backend/**"/> diff --git a/developer/emir/custom.properties b/developer/emir/custom.properties deleted file mode 100644 index e98c83c24b..0000000000 --- a/developer/emir/custom.properties +++ /dev/null @@ -1,5 +0,0 @@ -#nscArgs = -check:term;-check:transmatch;-debug;-log:transmatch -#nscArgs = -check:term;-check:transmatch;-log:transmatch -#nscArgs = -check:term;-print:transmatch -nscArgs = -check:term - diff --git a/developer/emir/test-nsc-excludes.xml b/developer/emir/test-nsc-excludes.xml deleted file mode 100644 index 30be526911..0000000000 --- a/developer/emir/test-nsc-excludes.xml +++ /dev/null @@ -1,12 +0,0 @@ -<exclude name="scala/io/UTF8String"/> -<!-- -<exclude name="scala/io/**"/> -<exclude name="scala/*.scala"/> -<exclude name="scala/text/**"/> -<exclude name="scala/util/**"/> -<exclude name="scala/collection/**"/> -<exclude name="scala/runtime/**"/> -<exclude name="scala/testing/**"/> -<exclude name="scala/concurrent/**"/> -<exclude name="scala/mobile/**"/> ---> |