Use the new isDigit() function.

diff --git a/time-limit.diff b/time-limit.diff
index 4658e87..06b5ac5 100644 (file)
--- a/time-limit.diff
+++ b/time-limit.diff
@@ -198,13 +198,13 @@ To use this patch, run these commands for a successful build:
 +      } else
 +              in_date = 1;
 +      for ( ; ; cp++) {
-+              if (!isdigit(*cp))
++              if (!isDigit(cp))
 +                      return -1;
 +
 +              n = 0;
 +              do {
 +                      n = n * 10 + *cp++ - '0';
-+              } while (isdigit(*cp));
++              } while (isDigit(cp));
 +
 +              if (*cp == ':')
 +                      in_date = 0;