prevent pushd/popd from polluting output

tools/make-assets.sh

@@ -7,9 +7,9 @@ DES=$1/assets
 printf "*** Packaging assets in $DES... "
 
 if [ -n "${TRAVIS_TAG}" ]; then
-  pushd ..
+  pushd .. > /dev/null
   git clone https://github.com/uBlockOrigin/uAssets.git
-  popd
+  popd > /dev/null
 fi
 
 rm -rf $DES

tools/make-chromium.sh

@@ -26,9 +26,9 @@ cp LICENSE.txt              $DES/
 
 if [ "$1" = all ]; then
     echo "*** uBlock0.chromium: Creating package..."
-    pushd $(dirname $DES/)
+    pushd $(dirname $DES/) > /dev/null
     zip uBlock0.chromium.zip -qr $(basename $DES/)/*
-    popd
+    popd > /dev/null
 fi
 
 echo "*** uBlock0.chromium: Package done."

tools/make-firefox.sh

@@ -35,10 +35,11 @@ echo "*** uBlock0.firefox: Generating meta..."
 python tools/make-firefox-meta.py $DES/ "$2"
 
 if [ "$1" = all ]; then
+    set +v
     echo "*** uBlock0.firefox: Creating package..."
-    pushd $DES/
+    pushd $DES/ > /dev/null
     zip ../uBlock0.firefox.xpi -qr *
-    popd
+    popd > /dev/null
 fi
 
 echo "*** uBlock0.firefox: Package done."