src/Pure/build-jars
changeset 56768 06388a5cfb7c
parent 56716 6d5733303a50
child 56782 433cf57550fa
--- a/src/Pure/build-jars	Mon Apr 28 00:54:31 2014 +0200
+++ b/src/Pure/build-jars	Mon Apr 28 12:56:54 2014 +0200
@@ -11,6 +11,7 @@
 declare -a SOURCES=(
   Concurrent/consumer_thread.scala
   Concurrent/counter.scala
+  Concurrent/event_timer.scala
   Concurrent/future.scala
   Concurrent/mailbox.scala
   Concurrent/simple_thread.scala