diff --git a/.build-travis.sh b/.build-travis.sh
index aa592eec..aa7052c2 100755
--- a/.build-travis.sh
+++ b/.build-travis.sh
@@ -6,9 +6,9 @@ sudo apt-get remove kvm-ipxe
 
 # Build the toolchain: (silently)
 pushd toolchain
-./prepare.sh  > /dev/null 2>/dev/null || exit 1
-./install.sh  > /dev/null 2>/dev/null || exit 1
-. activate.sh > /dev/null 2>/dev/null || exit 1
+./prepare.sh  || exit 1
+./install.sh  || exit 1
+. activate.sh || exit 1
 popd
 # Build the userspace tools:
 pushd userspace