From c26ea345ee4a9ecd490e50c252ec3b43d8f605e8 Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Wed, 10 Jun 2009 14:46:06 +0000
Subject: [PATCH]
---
Test.scala | 17 -----------------
build.xml | 1 +
2 files changed, 1 insertion(+), 17 deletions(-)
delete mode 100644 Test.scala
diff --git a/Test.scala b/Test.scala
deleted file mode 100644
index a1537f887..000000000
--- a/Test.scala
+++ /dev/null
@@ -1,17 +0,0 @@
-object Test {
- def main(args: Array[String]): Unit = {
-
- println("Ok")
- }
-
- def useless(i: Int, j: Int): Int = {
- require(i == j)
- i + j
- } ensuring(res => res == 2 * i)
-
- def booleans: Unit = {
- var b : Boolean = true
- b = false
-
- }
-}
diff --git a/build.xml b/build.xml
index d36a436b0..a46a294ad 100644
--- a/build.xml
+++ b/build.xml
@@ -157,4 +157,5 @@
</delete>
</target>
+ <target name="new" description="clean and rebuilds" depends="clean, dist" />
</project>
--
GitLab