From 918cff1f724305d3d1b126abf49425c653a4a201 Mon Sep 17 00:00:00 2001
From: Brandon W Maister <quodlibetor@gmail.com>
Date: Fri, 20 Sep 2019 13:49:30 -0400
Subject: [PATCH] Remove some pwds from the CI script

They just add noise, now.
---
 ci/travis.sh | 2 --
 1 file changed, 2 deletions(-)

diff --git a/ci/travis.sh b/ci/travis.sh
index 008c1ec..18f639b 100755
--- a/ci/travis.sh
+++ b/ci/travis.sh
@@ -171,12 +171,10 @@ channel() {
 
 channel_run() {
     if channel_matches ; then
-        pwd
         local the_cmd="$ $*"
         underline "$the_cmd"
         "$@"
     elif ! is_ci ; then
-        pwd
         local cmd="$1"
         shift
         if [[ $cmd == cargo || $cmd == rustc ]] ; then