pre-commit

#!/bin/bash
# Git pre-commit hook to forcibly regenerate generated files on every commit.
#
# Optional, but helps keep things in sync locally so that our check doesn't
# fail in CI after the push.
#
# To use:
#
#   ln -sv ../../devel/pre-commit .git/hooks/pre-commit
#
set -euo pipefail

main() {
    exec 3>&1 1> >(prefix-output) 2> >(prefix-output >&2)

    # Don't error, just quietly quit, if we're installed but operating on an
    # older version of the repo before the Makefile existed.
    [[ -f Makefile ]] || exit 0

    make

    echo >&3
}

prefix-output() {
    local line
    IFS=$'\0'
    while read -r line; do
        echo "[pre-commit] $line"
    done
}

main "$@"