#!/bin/sh

. ./travis-common.sh

# ---------------------------------------------------------------------
# Check that auto-generated files/fields are up to date.
# ---------------------------------------------------------------------

# For some reason status might now be clean after checkout
git reset --hard
git status

# Regenerate the CONTRIBUTORS file.
# Currently doesn't work because Travis uses --depth=50 when cloning.
#./Cabal/misc/gen-authors.sh > AUTHORS

timed cabal update

# Regenerate files
timed make lexer
timed make gen-extra-source-files
timed make spdx

# Fail if the diff is not empty.
timed ./Cabal/misc/travis-diff-files.sh