Hi,
I have started examining how the scheduler plugin system works and noticed that src/sched/builtin.c on Git has: * builtin.h - header for simple builtin scheduler plugin. Should be: * builtin.c - simple builtin scheduler plugin. Thanks, Leith Bade leith.b...@anu.edu.au
