summaryrefslogtreecommitdiff
path: root/developer/emir
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2005-10-13 09:09:49 +0000
committermichelou <michelou@epfl.ch>2005-10-13 09:09:49 +0000
commitd2c7c9829125dcf0c21369fd2fdb3bbc3370169e (patch)
treeb06f8c69017564a0936f0bc4833f1aadecf6f2ec /developer/emir
parentad4be6739a5caa919c9805b86e7d26dcfc2bd53f (diff)
downloadscala-d2c7c9829125dcf0c21369fd2fdb3bbc3370169e.tar.gz
scala-d2c7c9829125dcf0c21369fd2fdb3bbc3370169e.tar.bz2
scala-d2c7c9829125dcf0c21369fd2fdb3bbc3370169e.zip
- use Ant now !
Diffstat (limited to 'developer/emir')
-rw-r--r--developer/emir/build-nsc-excludes.xml2
-rw-r--r--developer/emir/custom.properties5
-rw-r--r--developer/emir/test-nsc-excludes.xml12
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/**"/>
--->