Fix division by zero if there are no positions

1 files changed, 10 insertions, 3 deletions

diff --git a/awk/stats_positions.awk b/awk/stats_positions.awk
index 464cf5b..735013a 100644
--- a/awk/stats_positions.awk
+++ b/awk/stats_positions.awk
@@ -39,7 +39,14 @@ END {
     for (var in by_type) {
         print "type-" var "\t" by_type[var];
     }
-    print "avg-ease" "\t" ease / n_stats;
-    print "avg-box" "\t" box / n_stats;
-    print "avg-interval" "\t" interval / n_stats;
+
+    if (n_stats > 0) {
+        print "avg-ease" "\t" ease / n_stats;
+        print "avg-box" "\t" box / n_stats;
+        print "avg-interval" "\t" interval / n_stats;
+    } else {
+        print "avg-ease" "\t" 0.0;
+        print "avg-box" "\t" 0;
+        print "avg-interval" "\t" 0.0;
+    }
 }