diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/functions | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/functions b/scripts/functions index 841dce2c..a86c528f 100644 --- a/scripts/functions +++ b/scripts/functions @@ -2503,7 +2503,7 @@ if [ -r "${CT_LIB_DIR}/paths.sh" ]; then elif [ -r "${CT_TOP_DIR}/paths.sh" ]; then paths_sh_location="${CT_TOP_DIR}/paths.sh" else - CT_Error "Not found: paths.sh" + CT_Abort "Not found: paths.sh" fi . "${paths_sh_location}" |