thodg/cgminer

2011-06-14T14:09:10

Cope with older linux kernel headers that don't have the newer scheduling policies defined.