14 lines
193 B
Bash
Executable file
14 lines
193 B
Bash
Executable file
#!/bin/bash
|
|
|
|
date -Iseconds
|
|
echo "STARTS"
|
|
|
|
for r in $(seq 15); do
|
|
echo "Run $r/15";
|
|
date -Iseconds
|
|
./run_irace_parallel-batch.sh
|
|
date -Iseconds
|
|
done
|
|
|
|
echo "DONE"
|
|
date -Iseconds
|