diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-08-16 18:09:53 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-08-16 18:09:53 -0700 |
| commit | 71ee93216f9555d31c0ba43d32008b5571db9283 (patch) | |
| tree | 3734ad1788c0573c19dd57ffe9bce02f08335dc0 | |
| parent | da925d0697d61db6d265fd78cab3d1adf214950c (diff) | |
| download | mu-71ee93216f9555d31c0ba43d32008b5571db9283.tar.gz | |
3204
Fix CI.
| -rw-r--r-- | 072scheduler.cc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/072scheduler.cc b/072scheduler.cc index 068e1617..de5f5ca5 100644 --- a/072scheduler.cc +++ b/072scheduler.cc @@ -229,10 +229,13 @@ def f2 [ //: more complex: refcounting management when starting up new routines :(scenario start_running_immediately_updates_refcounts_of_ingredients) +% Scheduling_interval = 1; def main [ local-scope create-new-routine - switch # make sure we run new routine before returning + # padding to make sure we run new-routine before returning + dummy:number <- copy 0 + dummy:number <- copy 0 ] def create-new-routine [ local-scope |