diff --git a/tools/analysis/faultspaceplot/faultspaceplot.sh b/tools/analysis/faultspaceplot/faultspaceplot.sh index b7366cbc..46a562af 100755 --- a/tools/analysis/faultspaceplot/faultspaceplot.sh +++ b/tools/analysis/faultspaceplot/faultspaceplot.sh @@ -60,6 +60,13 @@ $MYSQL < $RAWCSV AND t.accesstype = 'R'; EOT +# sanity check +if [ $(wc -l < $RAWCSV) -le 1 ]; then + rm "$RAWCSV" + echo "no result data found for variant/benchmark $VARIANT/$BENCHMARK." >&2 + exit 1 +fi + # compact data echo "compacting data.." COMPACTCSV=$(mktemp)