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

File:

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

benchmark/schedint/upp.cc

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