3775: Remove redundant log message.

diff --git a/sdk/cli/bin/crunch-job b/sdk/cli/bin/crunch-job
index 8a80f9c1eee7bba1d3fd36c55218f669b968ee41..eff48a21eb0f50b5844c9657521a430fbb1c225b 100755 (executable)
--- a/sdk/cli/bin/crunch-job
+++ b/sdk/cli/bin/crunch-job
@@ -424,7 +424,6 @@ else {
       $repo = "$repo/.git";
     }
     $repo_location = 'local';
-    Log(undef, "Using local repository '$repo'");
   } else {
     # $repo is none of the above. It must be the name of a hosted
     # repository.