fairphone-case: tolerate fingerpushhole_dias being [] to mean "none"

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/fairphone-case.scad b/fairphone-case.scad
index 735a8c1ce3027ad6c13e6a599bf0d9e5946bf410..6e751ed7b25ad5fca018e066acaface7f5430ed9 100644 (file)
--- a/fairphone-case.scad
+++ b/fairphone-case.scad
@@ -475,8 +475,9 @@ module OrdinaryRearApertures(){
               rearspeaker_size + rearspeaker_gap);
 
   // finger hole to remove phone
-  OrdinaryRearAperture(1,0, [ fingerpushhole_dias[0]/2 + epp2i[0],
-                             phone[1]/2 ])
+  if (len(fingerpushhole_dias))
+    OrdinaryRearAperture(1,0, [ fingerpushhole_dias[0]/2 + epp2i[0],
+                               phone[1]/2 ])
     scale(fingerpushhole_dias)
     circle(r= 0.5 );
 }