#!/bin/bash dir="/home/martini/malleability_benchmark" partition="P1" exclude="c00,c01,c02" cores=20 # Runs in a given current directory all .ini files # Parameter 1(Optional) - Amount of executions per file. Must be a positive number #====== Do not modify these values ======= codeDir="/Codes/build" execDir="/Exec" ResultsDir="/Results" use_extrae=0 qty=1 if [ $# -ge 1 ] then qty=$1 fi files="./*.ini" internalIndex=$(echo $files | tr -cd ' ' | wc -c) index=$((0)) for config_file in $files do max_numP=-1 total_groups=$(grep Total_Resizes $config_file | cut -d '=' -f2) for ((j=0; j