diff options
author | Bernard Normier <bernard@zeroc.com> | 2007-03-05 18:02:58 +0000 |
---|---|---|
committer | Bernard Normier <bernard@zeroc.com> | 2007-03-05 18:02:58 +0000 |
commit | 2d2567b0fdaeb642c02726f711eb5a89502183d5 (patch) | |
tree | e8e82f48d135d09402b63f2673dadb12e68a8915 /php/makedist.py | |
parent | fix typo in install component file (diff) | |
download | ice-2d2567b0fdaeb642c02726f711eb5a89502183d5.tar.bz2 ice-2d2567b0fdaeb642c02726f711eb5a89502183d5.tar.xz ice-2d2567b0fdaeb642c02726f711eb5a89502183d5.zip |
removed ICE_HOME check
Diffstat (limited to 'php/makedist.py')
-rwxr-xr-x | php/makedist.py | 4 |
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. # |