src/Pure/System/standard_system.scala

--- a/src/Pure/System/standard_system.scala	Sat Jan 09 23:22:24 2010 +0100
+++ b/src/Pure/System/standard_system.scala	Sat Jan 09 23:22:56 2010 +0100
@@ -98,6 +98,7 @@
     finally { writer.close }
   }
 
+  // FIXME handle (potentially cyclic) directory graph
   def find_files(start: File, ok: File => Boolean): List[File] =
   {
     val files = new mutable.ListBuffer[File]