scripts/functions
changeset 1120 ba7f344ed57f
parent 1113 0abc2de191b0
child 1123 8c5881324a79
     1.1 --- a/scripts/functions	Sun Jan 04 12:43:54 2009 +0000
     1.2 +++ b/scripts/functions	Sun Jan 04 14:35:25 2009 +0000
     1.3 @@ -427,7 +427,7 @@
     1.4  # Usage: CT_DoGetFile <URL>
     1.5  CT_DoGetFile() {
     1.6      case "${_wget},${_curl}" in
     1.7 -        ,)  CT_DoError "Could find neither wget nor curl";;
     1.8 +        ,)  CT_Abort "Could find neither wget nor curl";;
     1.9          ,*) CT_DoExecLog ALL CT_DoGetFileCurl "$1" 2>&1;;
    1.10          *)  CT_DoExecLog ALL CT_DoGetFileWget "$1" 2>&1;;
    1.11      esac