diff options
Diffstat (limited to 'init-tools.sh')
-rwxr-xr-x | init-tools.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/init-tools.sh b/init-tools.sh index b676ba1846..c076212ab5 100755 --- a/init-tools.sh +++ b/init-tools.sh @@ -16,7 +16,8 @@ __INIT_TOOLS_DONE_MARKER=$__TOOLRUNTIME_DIR/$__BUILD_TOOLS_PACKAGE_VERSION/done if [ -z "$__DOTNET_PKG" ]; then if [ "$(uname -m | grep "i[3456]86")" = "i686" ]; then - echo "Warning: build not supported on 32 bit Unix" + echo "Error: build not supported on 32 bit Unix" + exit 1 fi OSName=$(uname -s) case $OSName in |