ssh-cc.sh: Add comments.

Make it clearer what the first code path is meant for.

Change-Id: Ib4f26529ff23b85b6e56c265c137c9419b95fdda

1 files changed, 3 insertions, 0 deletions

diff --git a/ssh-cc.sh b/ssh-cc.sh
index b50584f..95cab2a 100644
--- a/ssh-cc.sh
+++ b/ssh-cc.sh
@@ -5,6 +5,9 @@ set -e
 cmd=$(echo "$@" | sed -e 's#"#\\"#g' -e "s#'#\\'#g")
 dir=$(pwd)
 
+# This case is meant to quickly handle cases where $cmd="-v", in which
+# case there is no need to rsync sources. This allows configuration
+# scripts to run.
 if ! echo $dir | grep -q @spec@/benchspec; then
     exec ssh @build_port@ @build_host@ "cd $(pwd); exec @cc_prefix@@cc@ $cmd"
 fi