mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-12-01 11:33:41 +03:00
build: add log message when destination object already exists
This commit is contained in:
parent
244a9b6a06
commit
e9cf0a3518
@ -28,14 +28,16 @@ in makeEffect {
|
||||
}
|
||||
|
||||
if ! stat_uri; then
|
||||
header "copying $file to $uri"
|
||||
header "copying $file to $uri"
|
||||
|
||||
gsutil -h "Content-Type:$contentType" cp $file $uri
|
||||
gsutil -h "Content-Type:$contentType" cp $file $uri
|
||||
|
||||
if ! stat_uri; then
|
||||
echo "failed pushing $file to $url" >&2
|
||||
exit 1
|
||||
fi
|
||||
if ! stat_uri; then
|
||||
header "failed pushing $file to $url"
|
||||
exit 1
|
||||
fi
|
||||
else
|
||||
header "$uri already exists, skipping"
|
||||
fi
|
||||
'';
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user