[trace] header re-organization (now with a basic version)

details:
you can generate a basic version of the header by passing
--cfg=tracing/basic:1 when launching your simulator (considering
you are using other arguments to enable the tracing)

diff --git a/src/instr/instr_paje_header.c b/src/instr/instr_paje_header.c
index fc7a5d0..8db2fb8 100644 (file)
--- a/src/instr/instr_paje_header.c
+++ b/src/instr/instr_paje_header.c
@@ -254,4 +254,3 @@ void TRACE_header(int basic)
 
 #endif
 
 
 #endif
 

-