diff options
| author | krasimir <krasimir@chalmers.se> | 2016-05-25 09:42:24 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2016-05-25 09:42:24 +0000 |
| commit | 0894f55661aa6152b76b2a072633fe5bfa3ed837 (patch) | |
| tree | a0be8e189e5f22de62316e555e227add2a8b471d /src | |
| parent | faebebc8f4b4587c9c1849e20473ef9ef6678ded (diff) | |
fix the compilation when debugging is switched off
Diffstat (limited to 'src')
| -rw-r--r-- | src/runtime/c/pgf/jit.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/runtime/c/pgf/jit.c b/src/runtime/c/pgf/jit.c index 4fd80dac0..4fe18d181 100644 --- a/src/runtime/c/pgf/jit.c +++ b/src/runtime/c/pgf/jit.c @@ -155,7 +155,9 @@ pgf_jit_predicate(PgfReader* rdr, PgfAbstr* abstr, abscat->predicate = (PgfFunction) jit_get_ip().ptr; if (strcmp(abscat->name, "String") == 0) { +#ifdef PGF_JIT_DEBUG gu_printf(out, err, " MK_STRING\n"); +#endif jit_prepare(2); jit_pusharg_p(JIT_VCLOS); @@ -172,7 +174,9 @@ pgf_jit_predicate(PgfReader* rdr, PgfAbstr* abstr, } if (strcmp(abscat->name, "Int") == 0) { +#ifdef PGF_JIT_DEBUG gu_printf(out, err, " MK_INT\n"); +#endif jit_prepare(2); jit_pusharg_p(JIT_VCLOS); @@ -189,7 +193,9 @@ pgf_jit_predicate(PgfReader* rdr, PgfAbstr* abstr, } if (strcmp(abscat->name, "Float") == 0) { +#ifdef PGF_JIT_DEBUG gu_printf(out, err, " MK_FLOAT\n"); +#endif jit_prepare(2); jit_pusharg_p(JIT_VCLOS); |