diff options
| author |  Vijay Pai <vpai@google.com> | 2016-02-22 13:26:48 -0800 |
|---|---|---|
| committer | Vijay Pai <vpai@google.com> | 2016-02-22 13:26:48 -0800 |
| commit | 4699415750c31cf8a7ff803e57b3499735796e27 (patch) | |
| tree | 9bdd5a4aa836397277f0171b73de04c04af0c5f2 | |
| parent | 262da45be70ff67dddb3886e77f9761119d58b3b (diff) | |
Fix sanity
| -rwxr-xr-x | tools/jenkins/run_performance.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/jenkins/run_performance.sh b/tools/jenkins/run_performance.sh index a5f5181f1e..c80685b23a 100755 --- a/tools/jenkins/run_performance.sh +++ b/tools/jenkins/run_performance.sh @@ -1,5 +1,5 @@ #!/usr/bin/env bash -# Copyright 2015, Google Inc. +# Copyright 2015-2016, Google Inc. # All rights reserved. # # Redistribution and use in source and binary forms, with or without |