diff options
| -rw-r--r-- | extra/pcr_interface.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/extra/pcr_interface.c b/extra/pcr_interface.c index ff461874..7266c1b3 100644 --- a/extra/pcr_interface.c +++ b/extra/pcr_interface.c @@ -150,6 +150,8 @@ PCR_GC_Setup(void) return PCR_ERes_okay; } +extern GC_bool GC_quiet; + PCR_ERes PCR_GC_Run(void) { |