Skip to content
Snippets Groups Projects
Commit 3c1dbe00 authored by Daniel Maier's avatar Daniel Maier
Browse files

collect_data: cleanup

parent 3f3e6c3a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 5 additions and 3 deletions
collect_data.sh
+ 5
− 3
View file @ 3c1dbe00
...@@ -59,11 +59,11 @@ baseline() { ...@@ -59,11 +59,11 @@ baseline() {
barvinok=$(barvinok "${output}.c") barvinok=$(barvinok "${output}.c")
out="$(./${output}| paste - -)" out="$(./${output}|paste - -)"
time=$(echo "$out"|sed "s/error: .*//;s/[ \t]//g") time=$(echo "$out"|sed "s/error: .*//;s/[ \t]//g")
error=$(echo "$out"|sed "s/.*error: //;s/[ \t]//g") error=$(echo "$out"|sed "s/.*error: //;s/[ \t]//g")
log "$code" "baseline" "$barvinok" "$config" "$time" "$error" log "$code" "baseline" "$barvinok" "" "$time" "$error"
} }
permutenew() { permutenew() {
...@@ -89,10 +89,12 @@ permutenew() { ...@@ -89,10 +89,12 @@ permutenew() {
barvinok=$(barvinok "${output}.c") barvinok=$(barvinok "${output}.c")
out="$(./${output}| paste - -)" out="$(./${output}|paste - -)"
time=$(echo "$out"|sed "s/error: .*//;s/[ \t]//g") time=$(echo "$out"|sed "s/error: .*//;s/[ \t]//g")
error=$(echo "$out"|sed "s/.*error: //;s/[ \t]//g") error=$(echo "$out"|sed "s/.*error: //;s/[ \t]//g")
cfg=$(echo "$cfg"|sed "s/^_//")
log "$code" "perf" "$barvinok" "$cfg" "$time" "$error" log "$code" "perf" "$barvinok" "$cfg" "$time" "$error"
else else
# body # body
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment