src/Pure/build-jars
changeset 60991 2fc5a44346b5
parent 60749 f727b99faaf7
child 61216 4ca490f09ec6
     1.1 --- a/src/Pure/build-jars	Thu Aug 20 19:33:26 2015 +0200
     1.2 +++ b/src/Pure/build-jars	Thu Aug 20 20:36:06 2015 +0200
     1.3 @@ -9,6 +9,7 @@
     1.4  ## sources
     1.5  
     1.6  declare -a SOURCES=(
     1.7 +  Concurrent/bash.scala
     1.8    Concurrent/consumer_thread.scala
     1.9    Concurrent/counter.scala
    1.10    Concurrent/event_timer.scala