diff -r 59408b4515dd -r 09115096c7d6 tools/create-dmg.sh
--- a/tools/create-dmg.sh	Wed Jul 10 23:50:31 2013 +0200
+++ b/tools/create-dmg.sh	Fri Jul 12 08:21:25 2013 +0200
@@ -99,7 +99,7 @@
       EULA_RSRC=$2
       shift; shift;;
     --no-internet-enable)
-      NOINERNET=1
+      NOINTERNET=1
       shift;;
     -*)
       echo "Unknown option $1. Run with --help for help."
@@ -211,7 +211,7 @@
         "${AUX_PATH}/dmg-license.py" "${DMG_DIR}/${DMG_NAME}" "${EULA_RSRC}"
 fi
 
-if [ ! -z "${NOINERNET}" -a "${NOINERNET}" == 1 ]; then
+if [ ! -z "${NOINTERNET}" -a "${NOINTERNET}" == 1 ]; then
         echo "not setting 'internet-enable' on the dmg"
 else
         hdiutil internet-enable -yes "${DMG_DIR}/${DMG_NAME}"