reporting: fix heading of the resulting aggregate CSV

prl-julia · Sep 9, 2023 · ae53bd0 · ae53bd0
1 parent 9037395
commit ae53bd0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/aggregate.sh b/scripts/aggregate.sh
@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
 
-ADD_HEAD='1i Module,MethodsGood,Stable,Unstable,NoFuel,DBStableDiff,DBUnstableDiff,DBNoFuelDiff'
+ADD_HEAD='1i Module,MethodsGood,Stable,Unstable,NoFuel,DBStable,DBUnstable,DBNoFuel'
 
 find . -maxdepth 2 -name "*-agg.txt" -exec cat {} + | sort | sed "$ADD_HEAD" > aggregate.csv