#!/usr/bin/env bash
# Prueflauf vor jedem Commit. Versioniert, damit er in jeder Arbeitskopie
# derselbe ist — einmalig einhaengen mit scripts/hooks-einrichten.sh
#
# Notausstieg fuer den echten Notfall: OHNE_PRUEFLAUF=1 git commit
# Das ist kein Alltagswerkzeug. Wer es benutzt, sagt damit: ich weiss, dass
# ungeprueft eingecheckt wird.

set -euo pipefail

if [[ "${OHNE_PRUEFLAUF:-}" == "1" ]]; then
  echo "Prueflauf uebersprungen (OHNE_PRUEFLAUF=1)." >&2
  exit 0
fi

wurzel="$(git rev-parse --show-toplevel)"
exec "$wurzel/scripts/pruefen.sh"
