#! /bin/bash
make || exit 1
for d in {unzipped3,williams,germano,smekens,unzipped,unzipped2}/*/*light*.bin; do
    if ! ./dump $d > /dev/null; then
	echo $d
	./dump $d
	echo
    fi
done