diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-01-27 16:04:31 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-01-27 16:04:31 +0100 |
commit | 0098e613dbd910063a63d50d9ea5028b2892b619 (patch) | |
tree | 2f26163027a572862bda3efe039962241c560bbf /doc | |
parent | 4558d1c86914e2427fc99afbe00c28cb716dbd3d (diff) | |
download | cuirass-0098e613dbd910063a63d50d9ea5028b2892b619.tar cuirass-0098e613dbd910063a63d50d9ea5028b2892b619.tar.gz |
cuirass: Add 'essential-task' and wrap the main fibers in it.
* src/cuirass/utils.scm (essential-task): New procedure.
* bin/cuirass.in (main): Wrap each fiber in 'essential-task'.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions