Fix make_dmg a little.

diff --git a/platform/osx/make_dmg.sh b/platform/osx/make_dmg.sh
index f6fdae9c2131c893d2f1f37348049fa8f05ece06..3802348ecc17cba5fddb4c8368a434fd44ad2d1f 100644 (file)
--- a/platform/osx/make_dmg.sh
+++ b/platform/osx/make_dmg.sh
@@ -4,7 +4,8 @@
 #
 # e.g. make_dmg.sh /Users/carl/cdist
 
-set -e
+# Don't set -e here as egrep (used a few times) returns 1 if no matches
+# were found.
 
 version=`cat wscript | egrep ^VERSION | awk '{print $3}' | sed -e "s/'//g"`
 
@@ -26,7 +27,6 @@ mkdir -p "$WORK/$libs"
 mkdir -p "$WORK/$resources"
 
 function universal_copy {
-    echo $2
     for f in $1/32/$2; do
         if [ -h $f ]; then
            ln -s $(readlink $f) "$3/`basename $f`"