summaryrefslogtreecommitdiff
path: root/php/makedist.py
diff options
context:
space:
mode:
authorBernard Normier <bernard@zeroc.com>2007-03-05 18:02:58 +0000
committerBernard Normier <bernard@zeroc.com>2007-03-05 18:02:58 +0000
commit2d2567b0fdaeb642c02726f711eb5a89502183d5 (patch)
treee8e82f48d135d09402b63f2673dadb12e68a8915 /php/makedist.py
parentfix typo in install component file (diff)
downloadice-2d2567b0fdaeb642c02726f711eb5a89502183d5.tar.bz2
ice-2d2567b0fdaeb642c02726f711eb5a89502183d5.tar.xz
ice-2d2567b0fdaeb642c02726f711eb5a89502183d5.zip
removed ICE_HOME check
Diffstat (limited to 'php/makedist.py')
-rwxr-xr-xphp/makedist.py4
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.
#