diff options
Diffstat (limited to 'os')
| -rw-r--r-- | os/port/dis.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/os/port/dis.c b/os/port/dis.c index 8859a1b9..0eb2d190 100644 --- a/os/port/dis.c +++ b/os/port/dis.c @@ -119,7 +119,8 @@ execatidle(void) } rungc(isched.head); gcidlepass++; - sched(); + if(((ulong)gcidlepass&0xFF) == 0) + sched(); } up->type = Interp; |