5 export PATH
=/opt
/cabal
/head
/bin
:$PATH
7 # ---------------------------------------------------------------------
8 # Check that auto-generated files/fields are up to date.
9 # ---------------------------------------------------------------------
11 # Regenerate the CONTRIBUTORS file.
12 # Currently doesn't work because Travis uses --depth=50 when cloning.
13 #./Cabal/misc/gen-authors.sh > AUTHORS
16 timed
make gen-extra-source-files
18 # Fail if the diff is not empty.
19 timed .
/Cabal
/misc
/travis-diff-files.sh