PERFORCE change 222685 for review

[Jonathan Anderson]

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

Change 222685 by jonathan at jonathan-on-kent on 2013/03/07 00:04:08

	Try out a (very, very simple) TESLA assertion in bin/ls.

Affected files ...

.. //depot/projects/ctsrd/tesla/src/bin/ls/ls.c#2 edit

Differences ...

==== //depot/projects/ctsrd/tesla/src/bin/ls/ls.c#2 (text+ko) ====

@@ -67,6 +67,10 @@
 #include <signal.h>
 #endif
 
+#ifdef TESLA
+#include "tesla-macros.h"
+#endif
+
 #include "ls.h"
 #include "extern.h"
 
@@ -567,6 +571,10 @@
 static void
 display(const FTSENT *p, FTSENT *list, int options)
 {
+#ifdef	TESLA
+	TESLA_GLOBAL(since(called(main), called(traverse)));
+#endif
+
 	struct stat *sp;
 	DISPLAY d;
 	FTSENT *cur;