From b0c12cc850bd8b4a7577c08e3248f5b09af1fd1b Mon Sep 17 00:00:00 2001 From: Loïc Guégan Date: Sun, 30 Jun 2024 14:51:35 +0200 Subject: Debug --- run_strategies.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'run_strategies.sh') diff --git a/run_strategies.sh b/run_strategies.sh index 0e95fe4..5059d93 100755 --- a/run_strategies.sh +++ b/run_strategies.sh @@ -5,7 +5,7 @@ set -e wai=$(dirname $(readlink -f "$0")) scenarios="${wai}/scenarios" inputs="${wai}/inputs.json" -simulator="make -C ${wai}/ run" +simulator="make run" sched="${wai}/analysis/scheduler/analysis.sh" parser="${wai}/parser.awk" results="${wai}/strategy_sor.csv" # UPDATE HERE TO CHANGE OUTPUT CSV FILE NAME -- cgit v1.2.3