# HG changeset patch
# User William Astle <lost@l-w.ca>
# Date 1331940593 21600
# Node ID 3132b1742eca8debb76774424f4713bdf19342b4
# Parent  d2bed389e94ac3f8297b9acb8d292f7ca125e2dc
Add a time stamp to debug messages

Add time stamps to debug messages to improve ability to profile the assembly
process.

diff -r d2bed389e94a -r 3132b1742eca lwasm/debug.c
--- a/lwasm/debug.c	Thu Mar 15 09:33:26 2012 -0600
+++ b/lwasm/debug.c	Fri Mar 16 17:29:53 2012 -0600
@@ -22,6 +22,7 @@
 #include <stdio.h>
 #include <string.h>
 #include <stdarg.h>
+#include <time.h>
 
 #include "lwasm.h"
 #include "instab.h"
@@ -83,7 +84,7 @@
 
 	va_start(args, fmt);
 	
-	fprintf(as -> debug_file, "DEBUG %03d: ", level);
+	fprintf(as -> debug_file, "DEBUG %03d (%ld): ", level, (long)time(NULL));
 	vfprintf(as -> debug_file, fmt, args);
 	fputc('\n', as -> debug_file);