travis: Don't source push-build.

mithro · mithro · commit efd401a18a9e · 2018-02-08T10:39:31.000-08:00
push-build was disabled with a "exit 0" and thus all builds were
succeeding despite them failing :-(
diff --git a/.travis/build.sh b/.travis/build.sh
@@ -374,7 +374,7 @@ for F in ${FAILURES[@]}; do
 	echo $F | sed -e's/+/ /g'
 done
 
-. ./.travis/push-prebuilt.sh
+bash ./.travis/push-prebuilt.sh
 
 echo ""
 echo ""
