Better generator

2024-11-21 15:12:02 +00:00 · 2022-07-08 09:54:06 +02:00 · 2022-07-08 09:54:06 +02:00 · a898ee114e
commit a898ee114e
parent 5904c058e7
4 changed files with 42 additions and 5301 deletions
--- a/benchmark/.gitignore
+++ b/benchmark/.gitignore
@ -0,0 +1 @@
+*.bak
--- a/benchmark/generate-results.sh
+++ b/benchmark/generate-results.sh
@ -9,8 +9,8 @@
    FIRST=1
    ls -1 */results/*.json | while read file
    do
-        [ "${FIRST}" = "0" ] && echo ','
-        cat "${file}"
+        [ "${FIRST}" = "0" ] && echo -n ','
+        jq --compact-output ". += {\"source\": \"${file}\"}" "${file}"
        FIRST=0
    done

--- a/benchmark/index.html
+++ b/benchmark/index.html
--- a/benchmark/index.html.bak
+++ b/benchmark/index.html.bak