From 76d3252cd0a72c97e96c1cdd7b1f75a08d1c9d1f Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Fri, 22 Jan 2016 16:47:23 -0800
Subject: [PATCH] Fix error exit from dd/block zeroing

---
 util/install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/install.sh b/util/install.sh
index 8d6d203..60eb7c1 100755
--- a/util/install.sh
+++ b/util/install.sh
@@ -734,7 +734,7 @@ exit 0
     # Note: you can shrink the .vmdk in vmware using
     # vmware-vdiskmanager -k *.vmdk
     echo "Zeroing out disk blocks for efficient compaction..."
-    time sudo dd if=/dev/zero of=/tmp/zero bs=1M
+    time sudo dd if=/dev/zero of=/tmp/zero bs=1M || true
     sync ; sleep 1 ; sync ; sudo rm -f /tmp/zero
 
 }