tree 5426d1b3b18dd3815797bb1902eda0efaa74c71c
parent f175bd673485e9b3d8e08f93d5fa92d222552f1c
author Damien Martin-Guillerez <dmarting@google.com> 1500892669 +0200
committer Damien Martin-Guillerez <dmarting@google.com> 1500895201 +0200

Give more useful message when copying the library to Jenkins

This commit message appears in the Jenkins UI and might be
confusing for users.

Change-Id: I7a6db1c2665b90bd3e698b07a2fc72fee004bb5d