Skip to content

Commit 7b5dd5c

Browse files
authored
libsgxstep/tracer: guard sources with #if !NO_SGX (#106)
1 parent 203c80d commit 7b5dd5c

4 files changed

Lines changed: 16 additions & 0 deletions

File tree

libsgxstep/sgx_tracer.c

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
#if !NO_SGX
2+
13
#include "sgx_tracer.h"
24

35
static void generate_ids(char (*ids)[4], size_t count);
@@ -284,3 +286,5 @@ static void generate_ids(char (*ids)[4], size_t count)
284286
}
285287
}
286288
/* ============================================================= */
289+
290+
#endif /* !NO_SGX */

libsgxstep/trace_gprs.c

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
#if !NO_SGX
2+
13
#include "trace_module.h"
24
#include "debug.h"
35
#include "pt.h"
@@ -159,3 +161,5 @@ trace_module_t* trace_gprs_create(void)
159161

160162
return m;
161163
}
164+
165+
#endif /* !NO_SGX */

libsgxstep/trace_irq_latency.c

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
#if !NO_SGX
2+
13
#include "trace_module.h"
24

35
#include "debug.h"
@@ -100,3 +102,5 @@ trace_module_t* trace_irq_create(void)
100102

101103
return m;
102104
}
105+
106+
#endif /* !NO_SGX */

libsgxstep/trace_pages.c

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
#if !NO_SGX
2+
13
#include "trace_module.h"
24
#include "debug.h"
35
#include "pt.h"
@@ -218,3 +220,5 @@ trace_module_t* trace_pages_create(void)
218220

219221
return m;
220222
}
223+
224+
#endif /* !NO_SGX */

0 commit comments

Comments
 (0)