diff options
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/functions | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/functions b/scripts/functions index fa6ed3e..3a540a3 100644 --- a/scripts/functions +++ b/scripts/functions @@ -480,6 +480,9 @@ CT_GetFile() { CT_GetLocal "${file}" ${first_ext} && return 0 || true # No, it does not... + # Are downloads allowed ? + CT_TestAndAbort "File '${file}' not present locally, and downloads are not allowed" "${CT_FORBID_DOWNLOAD}" = "y" + # Try to retrieve the file CT_DoLog EXTRA "Retrieving '${file}'" CT_Pushd "${CT_TARBALLS_DIR}" @@ -539,6 +542,9 @@ CT_GetCVS() { CT_GetLocal "${basename}" && return 0 || true # No, it does not... + # Are downloads allowed ? + CT_TestAndAbort "File '${file}' not present locally, and downloads are not allowed" "${CT_FORBID_DOWNLOAD}" = "y" + CT_DoLog EXTRA "Retrieving '${basename}'" CT_MktempDir tmp_dir |