diff options
author | Jeff Gaston <jeffrygaston@google.com> | 2018-03-26 19:53:27 -0400 |
---|---|---|
committer | Jeff Gaston <jeffrygaston@google.com> | 2018-03-27 16:54:50 +0000 |
commit | 8d9231c85b857740b530903c987d89163cd7dd5c (patch) | |
tree | b60791151d60dc54b491b0790cca3475d5c90cf2 /import-maven-artifacts.sh | |
parent | de3dc2c70e2a73abf5a63a0f3126eb6f5b5b4029 (diff) | |
download | tools-8d9231c85b857740b530903c987d89163cd7dd5c.tar.gz |
have import-maven-artifacts.sh ignore missing dirs
Change-Id: I2412ebba80ad9ddda01ab64701d69acbede40a9c
Diffstat (limited to 'import-maven-artifacts.sh')
-rwxr-xr-x | import-maven-artifacts.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/import-maven-artifacts.sh b/import-maven-artifacts.sh index b2f81011d..2d152429f 100755 --- a/import-maven-artifacts.sh +++ b/import-maven-artifacts.sh @@ -123,8 +123,10 @@ function stageRepo() { function announceCopy() { input=$1 output=$2 - echo copying "$input" to "$output" - cp -rT $input $output + if stat $input > /dev/null 2>/dev/null; then + echo copying "$input" to "$output" + cp -rT $input $output + fi } function export() { |