diff options
Diffstat (limited to 'pcr_interface.c')
| -rw-r--r-- | pcr_interface.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/pcr_interface.c b/pcr_interface.c index 65c3a261..7bf02a45 100644 --- a/pcr_interface.c +++ b/pcr_interface.c @@ -169,4 +169,10 @@ PCR_GC_Run(void) return PCR_ERes_okay; } +void GC_push_thread_structures(void) +{ + /* PCR doesn't work unless static roots are pushed. Can't get here. */ + ABORT("In GC_push_thread_structures()"); +} + # endif |