- Fixed obsolete usage of 'CLK_TCK', which has received a new name.

This commit is contained in:
ccremers 2006-11-29 08:41:23 +00:00
parent 6a6e2a5834
commit 5954188fff

View File

@ -25,7 +25,7 @@ set_time_limit (int seconds)
{ {
time_max_seconds = seconds; time_max_seconds = seconds;
#ifdef linux #ifdef linux
endwait = seconds * CLK_TCK; endwait = seconds * CLOCKS_PER_SEC;
#endif #endif
} }
else else