update --reschedule documentation to optional computation of cpu schedule
commite486fd2fbae493d719ed223012b66ec19ef9c3fd
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 28 Jan 2016 12:46:10 +0000 (28 13:46 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 28 Jan 2016 12:46:10 +0000 (28 13:46 +0100)
treeceacdf2aa4a43360ff509ad7716d6bedac824c3d
parent9c38b1cf811e65427a7107e13b2781aebcb68630
update --reschedule documentation to optional computation of cpu schedule

Before 3bbfbda (cpu: optionally use computed schedule,
Tue Mar 20 15:35:03 2012 +0100), the cpu backend did not perform
any scheduling and the --reschedule option was not taken into account.
The commit changed this behavior but did not update the documentation
of the --reschedule option.  Update the documentation.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
ppcg_options.c