diff options
| -rwxr-xr-x | cpp/makebindist.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/cpp/makebindist.py b/cpp/makebindist.py index 4475de76b95..d34eaa2ba4c 100755 --- a/cpp/makebindist.py +++ b/cpp/makebindist.py @@ -391,9 +391,7 @@ def editMakeRulesMak(filename, version): # !if "$(ICE_HOME)" == "" -all:: - @echo Ice distribution not found, please set ICE_HOME! - @exit 1 +!error Ice distribution not found, please set ICE_HOME! !endif ICE_DIR = $(ICE_HOME) |