src/Pure/build-jars
changeset 38840 ec75dc58688b
parent 38636 b7647ca7de5a
child 40393 2bb7ec08574a
     1.1 --- a/src/Pure/build-jars	Sat Aug 28 15:25:32 2010 +0200
     1.2 +++ b/src/Pure/build-jars	Sat Aug 28 17:20:53 2010 +0200
     1.3 @@ -24,6 +24,7 @@
     1.4  declare -a SOURCES=(
     1.5    Concurrent/future.scala
     1.6    Concurrent/simple_thread.scala
     1.7 +  Concurrent/volatile.scala
     1.8    General/exn.scala
     1.9    General/linear_set.scala
    1.10    General/markup.scala