Changes in benchmark/schedint/upp.cc [dc33b5b:bf71cfd]

File:

• benchmark/schedint/upp.cc (modified) (2 diffs)

benchmark/schedint/upp.cc

@@ -23 +23 @@
                 )
 
-                printf("%g\n", result);
+                printf("%llu\n", result);
                 go = 0;
                 return 0;
@@ -39 +39 @@
 };
 
-int main(__attribute__((unused)) int argc, __attribute__((unused)) char* argv[]) {
+int main(int margc, char* margv[]) {
+        argc = margc;
+        argv = margv;
         T t;
         return m.wait();