Commits

Anonymous committed b88977d

added runbenchmark.sh

Comments (0)

Files changed (1)

+#!/bin/sh
+
+num_c=30
+num_s=1000
+repeat_times=300
+timeformat="%U %S %E %P %X %D %M %I %O %F %R %W"
+# user, system, elapsed, CPU, memory_text, memory_data, memory_max
+# file_inputs, file_outputs, pagefaults_major, pagefaults_minor, swaps
+
+
+# print command and time output to standard error
+for i in "$@";
+do
+    printf "%s %d %d %d " $i ${num_c} ${num_s} ${repeat_times} 1>&2
+    time --format "${timeformat}" $i ${num_c} ${num_s} ${repeat_times};
+done