diff -r be9dace0ff58 -r ec75dc58688b src/Pure/build-jars
--- a/src/Pure/build-jars	Sat Aug 28 15:25:32 2010 +0200
+++ b/src/Pure/build-jars	Sat Aug 28 17:20:53 2010 +0200
@@ -24,6 +24,7 @@
 declare -a SOURCES=(
   Concurrent/future.scala
   Concurrent/simple_thread.scala
+  Concurrent/volatile.scala
   General/exn.scala
   General/linear_set.scala
   General/markup.scala