Auto merge of #1258 - gnzlbg:docs, r=gnzlbg

Re-enable debug output in dox.sh and remove unused variable in runtest

Author: bors

ci/dox.sh

@@ -39,6 +39,7 @@ line=$(grep -n '<div class="platform_docs"></div>' $README | cut -d ":" -f 1)
 
 set +x
 { head -n "$((line-1))" $README; cat $PLATFORM_SUPPORT; tail -n "+$((line+1))" $README; } > $TARGET_DOC_DIR/$README
+set -x
 
 # If we're on travis, not a PR, and on the right branch, publish!
 if [ "$TRAVIS_PULL_REQUEST" = "false" ] && [ "$TRAVIS_BRANCH" = "master" ]; then

ci/runtest-android.rs

@@ -38,7 +38,7 @@ fn main() {
              String::from_utf8_lossy(&output.stderr));
 
     let stdout = String::from_utf8_lossy(&output.stdout);
-    let passed = stdout.lines().find(|l|
+    stdout.lines().find(|l|
         (l.starts_with("PASSED ") && l.contains(" tests")) ||
         l.starts_with("test result: ok")
     ).unwrap_or_else(|| {