|
@@ -563,7 +563,7 @@ private int deploy_provision_repositories(Vector<string> overrides, string conte
|
|
|
var filename = path.substring(path.last_index_of("/") + 1);
|
|
var filename = path.substring(path.last_index_of("/") + 1);
|
|
|
var local = Path.build_filename(destination, filename);
|
|
var local = Path.build_filename(destination, filename);
|
|
|
try {
|
|
try {
|
|
|
- printerr("Downloading repository descriptor from \"$path\"...\n");
|
|
|
|
|
|
|
+ printerr(@"Downloading repository descriptor from \"$path\"...\n");
|
|
|
File.new_for_uri(path).copy(File.new_for_path(local), FileCopyFlags.OVERWRITE);
|
|
File.new_for_uri(path).copy(File.new_for_path(local), FileCopyFlags.OVERWRITE);
|
|
|
}
|
|
}
|
|
|
catch(Error e) {
|
|
catch(Error e) {
|