diff -r 256298544491 -r 1bde86d10013 NEWS
--- a/NEWS	Tue Oct 18 23:47:33 2016 +0200
+++ b/NEWS	Wed Oct 19 14:43:11 2016 +0200
@@ -1037,6 +1037,9 @@
 exhaust the small 32-bit address space of the ML process (which is used
 by default).
 
+* System option "profiling" specifies the mode for global ML profiling
+in "isabelle build". Possible values are "time", "allocations".
+
 * System option "ML_process_policy" specifies an optional command prefix
 for the underlying ML process, e.g. to control CPU affinity on
 multiprocessor systems. The "isabelle jedit" tool allows to override the