travis-meta.sh

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