PERFORCE change 219758 for review

[Robert Watson]

http://p4web.freebsd.org/@@219758?ac=10

Change 219758 by rwatson at rwatson_zenith_cl_cam_ac_uk on 2012/11/12 08:09:36

	Release sandbox state once we're done with it in cheritest.

Affected files ...

.. //depot/projects/ctsrd/cheribsd/src/bin/cheritest/cheritest.c#8 edit

Differences ...

==== //depot/projects/ctsrd/cheribsd/src/bin/cheritest/cheritest.c#8 (text+ko) ====

@@ -164,6 +164,7 @@
 
 	v = sandbox_invoke(sb, 0, 0, 0, 0, NULL, NULL);
 	printf("%s: sandbox returned %ju\n", __func__, (uintmax_t)v);
+	sandbox_destroy(sb);
 }
 
 static void