diff --git a/magma/run.sh b/magma/run.sh index 24b8ecaf5..e9244f0c4 100755 --- a/magma/run.sh +++ b/magma/run.sh @@ -46,10 +46,10 @@ fi # launch the fuzzer in parallel with the monitor rm -f "$MONITOR/tmp"* -polls=($(ls ${MONITOR})) -if [ ${#polls[@]} -eq 0 ]; then +if [ -z "$(ls $MONITOR)" ]; then counter=0 else + polls=("$MONITOR"/*) timestamps=($(sort -n < <(basename -a "${polls[@]}"))) last=${timestamps[-1]} counter=$(( last + POLL ))