diff options
Diffstat (limited to 'results/scheduler/hint.awk')
| -rwxr-xr-x | results/scheduler/hint.awk | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/results/scheduler/hint.awk b/results/scheduler/hint.awk deleted file mode 100755 index 2f996fc..0000000 --- a/results/scheduler/hint.awk +++ /dev/null @@ -1,15 +0,0 @@ -#!/usr/bin/awk -f - -BEGIN { - RS="\n" - FS=" " - CSV_HEADER="node,wakets,duration,rcvat" - CSV_DATA="" - skip=1 - print(CSV_HEADER) -} - -/add a new hint/ { - gsub("]","",$0) - print($4","$10","$15","$2) -} |
