Index: /issm/trunk-jpl/src/m/classes/debug.m
===================================================================
--- /issm/trunk-jpl/src/m/classes/debug.m	(revision 11957)
+++ /issm/trunk-jpl/src/m/classes/debug.m	(revision 11958)
@@ -6,6 +6,7 @@
 classdef debug
 	properties (SetAccess=public) 
-		valgrind=false;
-		gprof   = false;
+		valgrind = false;
+		gprof    = false;
+		petsc_profiling = false;
 	end
 	methods
@@ -26,5 +27,9 @@
 			fielddisplay(obj,'valgrind','use Valgrind to debug (0 or 1)');
 			fielddisplay(obj,'gprof','use gnu-profiler to find out where the time is spent');
+			fielddisplay(obj,'petsc_profiling','enables PETSc profiling (memory, flops, time)');
 
+		end % }}}
+		function marshall(obj,fid) % {{{
+			WriteData(fid,'object',obj,'fieldname','petsc_profiling','format','Boolean');
 		end % }}}
 	end