src/Pure/build-jars
changeset 43660 bfc0bb115fa1
parent 43651 511df47bcadc
child 43695 5130dfe1b7be
     1.1 --- a/src/Pure/build-jars	Mon Jul 04 16:54:58 2011 +0200
     1.2 +++ b/src/Pure/build-jars	Mon Jul 04 20:18:19 2011 +0200
     1.3 @@ -9,6 +9,7 @@
     1.4  ## sources
     1.5  
     1.6  declare -a SOURCES=(
     1.7 +  Concurrent/counter.scala
     1.8    Concurrent/future.scala
     1.9    Concurrent/simple_thread.scala
    1.10    Concurrent/volatile.scala