travis: Don't source push-build.

push-build was disabled with a "exit 0" and thus all builds were succeeding despite them failing :-(
timvideos · Feb 8, 2018 · efd401a · efd401a
1 parent bb247f7
commit efd401a
Showing 1 changed file with 1 addition and 1 deletion.
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 ""