/shark/trunk/ports/first/first-contract.c |
---|
380,7 → 380,7 |
// fail if the object is full |
if (obj->size>(FSF_MAX_SHARED_OPERATION-1)) |
return -1; |
kern_printf("(DO SO)"); |
//kern_printf("(DO SO)"); |
obj->size++; |
obj->shared_op[i].op_id=op->op_id; |
obj->shared_op[i].wcet=op->wcet; |