| 320 |
|
# Copy the downloaded tool file to InstalledTools directory: |
| 321 |
|
if ( ! -f $filename ) |
| 322 |
|
{ |
| 323 |
< |
# If the URL is empty, the chances are that this tool was not downloaded to .SCRAM/InstalledTools. We |
| 324 |
< |
# give a warning and continue: |
| 323 |
> |
# If the URL is empty, the chances are that this tool was not downloaded to .SCRAM/InstalledTools. |
| 324 |
> |
# We signal an error and exit: |
| 325 |
|
if ($url eq '') |
| 326 |
|
{ |
| 327 |
< |
$::scram->scramerror("$toolname was selected in project requirements but is not in the configuration."); |
| 327 |
> |
$::scram->scramerror("$toolname was selected in project requirements but is not in the configuration!"); |
| 328 |
|
} |
| 329 |
|
else |
| 330 |
|
{ |
