Commits

Anonymous committed 8039cff

added command line option

Comments (0)

Files changed (1)

     h.exit(rec);
 }
 
-int main()
+int main(int argc, char **argv)
 {
+  if (argc > 1)
+    filename = argv[1];
+
   FILE* f = fopen(filename, "rb");
   uint64 recs[page_records];
   History h;