From 12a32b4a0e51f4b56e559dda43258982a2f8d0d3 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.one>
Date: Wed, 16 Jun 2021 13:35:08 +1000
Subject: [PATCH] Adjust scripts for bash

---
 run_record_gecode.sh   | 2 +-
 run_replay_gecode.sh   | 2 +-
 run_restart_chuffed.sh | 2 +-
 run_restart_gecode.sh  | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/run_record_gecode.sh b/run_record_gecode.sh
index 24192f6..2cf7dd4 100755
--- a/run_record_gecode.sh
+++ b/run_record_gecode.sh
@@ -13,7 +13,7 @@ mkdir -p ${output_folder}
 
 for data in ./${folder}/*.dzn; do
 	echo -n "Recording ${model} with ${data}: "
-	for i in {1..${runs}}; do
+	for i in $( seq 1 $runs ); do
 		echo -n "${i} "
 		filename=$(basename -- "$data")
 		filename="${filename%.*}"
diff --git a/run_replay_gecode.sh b/run_replay_gecode.sh
index 8f320ba..cb6da86 100755
--- a/run_replay_gecode.sh
+++ b/run_replay_gecode.sh
@@ -14,7 +14,7 @@ mkdir -p ${output_folder}
 
 for data in ./${folder}/*.dzn; do
 	echo -n "Replaying ${model} with ${data}: "
-	for i in {1..${runs}}; do
+	for i in $( seq 1 $runs ); do
 		echo -n "${i} "
 		filename=$(basename -- "$data")
 		filename="${filename%.*}"
diff --git a/run_restart_chuffed.sh b/run_restart_chuffed.sh
index 718bb1b..d5185ab 100755
--- a/run_restart_chuffed.sh
+++ b/run_restart_chuffed.sh
@@ -13,7 +13,7 @@ mkdir -p ${output_folder}
 
 for data in ./${folder}/*.dzn; do
 	echo -n "Running ${model} with ${data}: "
-	for i in {1..${runs}}; do
+	for i in $( seq 1 $runs ); do
 		echo -n "${i} "
 		filename=$(basename -- "$data")
 		filename="${filename%.*}"
diff --git a/run_restart_gecode.sh b/run_restart_gecode.sh
index 4ef5053..8326d72 100755
--- a/run_restart_gecode.sh
+++ b/run_restart_gecode.sh
@@ -13,7 +13,7 @@ mkdir -p ${output_folder}
 
 for data in ./${folder}/*.dzn; do
 	echo -n "Running ${model} with ${data}: "
-	for i in {1..${runs}}; do
+	for i in $( seq 1 $runs ); do
 		echo -n "${i} "
 		filename=$(basename -- "$data")
 		filename="${filename%.*}"