diff --git a/tools/times.c b/tools/times.c
index d1b236d8d..23e56ffbe 100644
--- a/tools/times.c
+++ b/tools/times.c
@@ -15,13 +15,13 @@ int main()
     if (!f)
         return 1;
 
-    char lines[64][64] = {0};
+    char lines[0xffff][64] = {0};
 
     int n = 0;
     float mintime=0.0f, maxtime=0.0f;
     char rev[10] = {0};
     char line[128] = {0};
-    while (fgets(line,sizeof(line),f) && n < 64) {
+    while (fgets(line,sizeof(line),f) && n < (sizeof(lines)/sizeof(*lines))) {
         replace(line,'\r','\0');
         replace(line,'\n','\0');
         if (strncmp(line,"HEAD is now at ", 15) == 0) {