@@ -1,6 +1,6 @@
11#!/usr/bin/env bash
22
3−set -e
3+set -euo pipefile
44
55docs=( documentation )
66core=( gogol-core gogol )
@@ -43,8 +43,18 @@ ghc_710=( 7.10.3 )
4343ghc_801=( 8.0.1 )
4444ghc_all=( 8.0.1 7.10.3 )
4545
46−matrix "Documentation" ghc_710[@] docs[@]
47−matrix "Core" ghc_all[@] core[@]
48−matrix "Priority" ghc_801[@] priority[@]
49−matrix "Remainder" ghc_801[@] library[@]
50−matrix "Examples" ghc_801[@] examples[@]
46+travis=".travis.yml"
47+
48+echo "Updating ${travis}"
49+
50+sed -i -e '/# GENERATED/,/# END GENERATED/d' "${travis}"
51+
52+echo "# GENERATED" >> "${travis}"
53+matrix "Documentation" ghc_710[@] docs[@] >> "${travis}"
54+matrix "Core" ghc_all[@] core[@] >> "${travis}"
55+matrix "Priority" ghc_all[@] priority[@] >> "${travis}"
56+matrix "Remainder" ghc_801[@] library[@] >> "${travis}"
57+matrix "Examples" ghc_801[@] examples[@] >> "${travis}"
58+echo "# END GENERATED" >> "${travis}"
59+
60+echo "Done."