1 files changed, 0 insertions, 4 deletions
diff --git a/php/makedist.py b/php/makedist.py
index 400dd70bd4a..da1ae290dc6 100755
--- a/php/makedist.py
+++ b/php/makedist.py
@@ -66,10 +66,6 @@ for x in sys.argv[1:]:
     else:
         tag = "-r" + x
 
-if not os.environ.has_key("ICE_HOME"):
-    print "The ICE_HOME environment variable is not set."
-    sys.exit(1)
-
 #
 # Remove any existing "dist" directory and create a new one.
 #