Made run all resources configurable

Reiner Jung · Reiner Jung · commit 3a1811828bf6 · 2019-10-10T09:07:38.000+01:00
diff --git a/run-all-resource-utilization.sh b/run-all-resource-utilization.sh
@@ -20,8 +20,7 @@ function run_exp() {
         rm -rf "executions/$1"
 }
 
-#for I in ${CONFIG_SET["minor"]} ; do
-for I in 5000 2000 3000 4000 6000 7000 8000 9000 ; do
+for I in ${CONFIG_SET["resource"]} ; do
 	NAME="simulated-account-services-$I"
 	run_exp "$NAME"
 done

Original file line number	Diff line number	Diff line change
`@@ -20,8 +20,7 @@ function run_exp() {`
`20`	`20`	`rm -rf "executions/$1"`
`21`	`21`	`}`
`22`	`22`
`23`		`-#for I in ${CONFIG_SET["minor"]} ; do`
`24`		`-for I in 5000 2000 3000 4000 6000 7000 8000 9000 ; do`
	`23`	`+for I in ${CONFIG_SET["resource"]} ; do`
`25`	`24`	`NAME="simulated-account-services-$I"`
`26`	`25`	`run_exp "$NAME"`
`27`	`26`	`done`