17 lines
454 B
Awk
17 lines
454 B
Awk
BEGIN {
|
|
i = 0
|
|
}
|
|
{
|
|
start = $0
|
|
getline
|
|
end = $0
|
|
if (i == 0) {
|
|
# generate header
|
|
system("awk '$0 == \""start"\",$0 == \""end"\"' < log.txt | grep \"RESULT:\" | head -n 1 | cut -b 8- | awk '{print \"core,\" $0}'> results.csv")
|
|
}
|
|
cut = "cut -b 8- | tail -n +2"
|
|
|
|
system("awk '$0 == \""start"\",$0 == \""end"\"' < log.txt | grep \"RESULT:\" | " cut " | awk '{print \""i",\" $0}'>> results.csv")
|
|
i = i + 1
|
|
}
|